A Metalanguage for the Formal Requirement Specification of Reactive Systems.

Egidio Astesiano, Gianna Reggio

Browse the full FM paper archive.