publication venue for ATL Transformation of Queueing Networks to Queueing Petri Nets 2017 Model-to-Model based Approach for Software Component Allocation in Embedded Systems 2017