A Metalanguage for the Formal Requirement Specification of Reactive Systems