Title: An approach to the creation of precise, intelligible problem specifications of large reactive systems
Subjects: Object-oriented methods (Computer science)