Guillaume Waignier Prawee Sriplakich Anne-Françoise Le Meur Laurence Duchien A Model-Based Framework for Statically and Dynamically Checking Component Interactions. 371-385 2008 MoDELS http://dx.doi.org/10.1007/978-3-540-87875-9_27 conf/models/2008 db/conf/models/models2008.html#WaignierSMD08