S. Bernardi, S. Donatelli, and J. Merseguer. WOSP '02: Proceedings of the 3rd international workshop on Software and performance, page 35--45. New York, NY, USA, ACM Press, (2002)
R. Pettit, and H. Gomaa. ICSE '06: Proceeding of the 28th international conference on Software engineering, page 202--211. New York, NY, USA, ACM Press, (2006)
H. Liang, J. Dingel, and Z. Diskin. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 5--12. New York, NY, USA, ACM Press, (2006)