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