Modeling embedded systems with UML ... They can even be post-processed to generate a sequence diagram describing the scenario executed, or they can be used in regression testing. Break and trace point ...