Amelunxen, C. and Rötschke, T. (2007) “Creating Well-Structured Specifications in MOFLON”, Electronic Communications of the EASST, 1. doi: 10.14279/tuj.eceasst.1.74.