Embedded systems are similar to black boxes in that controllability ... They can even be post-processed to generate a sequence diagram describing the scenario executed, or they can be used in ...