Philipp Meier, Samuel Kounev, Heiko Koziolek. Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets. In MASCOTS 2011, 19th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Singapore, 25-27 July, 2011. pages 339-348, IEEE, 2011. [doi]