R. J. Wieringa

Design Methods for Reactive Systems

Requirements Engineering