Martin Girschick Thomas Kühne Felix Klar Generating Systems from Multiple Levels of Abstraction. 127-141 2006 conf/teaa/2006 TEAA http://dx.doi.org/10.1007/978-3-540-75912-6_10 db/conf/teaa/teaa2006.html#GirschickKK06