Thomas Cottenier Aswin van den Berg Tzilla Elrad Joinpoint Inference from Behavioral Specification to Implementation. 476-500 2007 conf/ecoop/2007 ECOOP http://dx.doi.org/10.1007/978-3-540-73589-2_23 db/conf/ecoop/ecoop2007.html#CottenierBE07