(1)
Amelunxen, C.; Rötschke, T. Creating Well-Structured Specifications in MOFLON. ECEASST 2007, 1.