Enviar aquest missatge de text: Design methods for reactive systems: yourdon, statemate and the UML