M. Bork, L. Geiger, C. Schneider, and A. Zündorf. ECMDA-FA, volume 5095 of Lecture Notes in Computer Science, page 33--47. Springer, (2008)http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2008.html#BorkGSZ08.
M. Bork, L. Geiger, C. Schneider, and A. Zündorf. ECMDA-FA, volume 5095 of Lecture Notes in Computer Science, page 33--47. Springer, (2008)http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2008.html#BorkGSZ08.