Trescher, J.J.Trescher2022-03-082022-03-081992https://publica.fraunhofer.de/handle/publica/31942010.1109/ICCL.1992.185485enformal specificationwell-formed system construct004005006Compositional specification of parallel time-critical systemsconference paper