“…Compared to simulation, the derivation of analytic models from synthesizable specifications has received much less attention. So far, work in this direction has been mainly done in the domain of (best-effort) networking systems where, for instance, layered queuing networks [15], Petri nets [16], or state-based formalisms [17] have been derived from synthesizable specifications, such as the ITU-T specification and definition language (SDL). In the domain of heterogeneous multi-processor systems, the UML-MAST tool can generate a model for holistic scheduling based on a system model described in the UML profile for schedulability, performance, and time (SPT) [18].…”