IEEE
International Conference on Engineering of Complex Computer Systems
Software Analysis and Transformation

Wijs, A., & Fokkink, W. (2009). From chi-t to $\mu$CRL: Combining Performance and Functional Analysis. In Proceedings of 10th Conference on Engineering of Complex Computer Systems 2005 (pp. 184–193). IEEE.