Using Extended Predicate / Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems.