Stefan Kahlert Thomas Kruse Dieter Monjau A Formal Semantics for a Graphical Model Representation in System Design. 217-227 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#KahlertKM95 http://dx.doi.org/10.1007/BFb0034762