C. Amelunxen and T. Rötschke, “Creating Well-Structured Specifications in MOFLON”, ECEASST, vol. 1, Jul. 2007.