An object-oriented approach to formal specification of reactive systems

Neel Madhav, Sigurd Meldal. An object-oriented approach to formal specification of reactive systems. In 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA. pages 134-141, IEEE Computer Society, 1991. [doi]

Bibliographies