Buchauszug
Grüttner, Kim; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang
System Specification and Design Languages - Selected Contributions from FDL 2010
2012
157-174
T.J. Kazmierski; A. Morawiec
Springer
978-1-4614-1426-1