Carlo Ghezzi Andrea Mocci Mattia Monga Synthesizing intensional behavior models by graph transformation. 430-440 2009 ICSE http://dx.doi.org/10.1109/ICSE.2009.5070542 conf/icse/2009 db/conf/icse/icse2009.html#GhezziMM09