Ralf Reussner Jens Happe Annegret Habel Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. 80-95 http://dx.doi.org/10.1007/978-3-540-31984-9_7 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#ReussnerHH05