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