Text this: Design methods for reactive systems: yourdon, statemate and the UML