Design Methods for Reactive Systems: Yourdon, Statemate and the UML (2003)

by R J Wieringa