On Implementing Real-time Specification Patterns Using Observers

John D. Backes, Michael W. Whalen, Andrew Gacek +1

English language requirements are often used to specify the behavior of complex cyber-physical systems. The process of transforming these requirements to a formal specification lan…