R. J. Wieringa

• Design Methods for Reactive Systems
• Design Methods for Reactive Systems
• Requirements Engineering