Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
books.elsevier.comBy R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3 most popular design methods can be mixed in flexible, problem-driven way; more examples on companion website. [Morgan Kaufmann]