Guillaume Waignier Anne-Françoise Le Meur Laurence Duchien A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems. 1-17 2009 QoSA http://dx.doi.org/10.1007/978-3-642-02351-4_1 conf/qosa/2009 db/conf/qosa/qosa2009.html#WaignierMD09