Mamoun Filali, Philippe Mauran, Gérard Padiou. Unity, as a Tool for Reactive Systems Specification and Derivation. In Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. pages 274-279, IEEE, 1993. [doi]
Abstract is missing.