An object-oriented approach to formal specification of reactive systems.

Neel Madhav, Sigurd Meldal

Browse the full ICDCS paper archive.