A. Vogelsang, A. Fehnker, R. Huuck, and W. Reif. 12th International Conference on Formal Engineering Methods (ICFEM), volume 6447 of Lecture Notes in Computer Science, page 485--500. Springer, (2010)
J. Eckhardt, D. Fernández, and A. Vogelsang. International Symposium on Empirical Software Engineering and Measurement (ESEM), page 164--167. IEEE, (2015)