Testing models of modern Real-time Embedded (RTE) systems is not straightforward
due to timing constraints, numerous if not infinite possible behaviors, and complex
communications between components. Software testing ...