related documents ATL Transformation of Queueing Networks to Queueing Petri Nets Conferences Model-to-Model based Approach for Software Component Allocation in Embedded Systems Conferences