K. Fleszar, C. Glaßer, F. Lipp, C. Reitwießner, and M. Witek. Proc. 10th Latin American Symp. Theoretical Informatics (LATIN'12), volume 7256 of Lecture Notes in Computer Science, page 338-349. Springer Berlin Heidelberg, (2012)
P. Kelsen, Q. Ma, and C. Glodt. Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 171--185. Springer, (2011)