A case study of separation of duty properties in the context of the Austrian "eLaw" process