Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. - Dirk Scholz; Carsta Petersohn (ICFEM, 1997)