Buchauszug
Bücker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand, Ingo
System Specification and Design Languages - Selected Contributions from FDL 2010
2012
37-54
T.J. Kazmierski; A. Morawiec
Springer
978-1-4614-1426-1