Sabine Moisan Annie Ressouche Jean-Paul Rigault Towards Formalizing Behavioral Substitutability in Component Frameworks. 122-131 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.48 db/conf/sefm/sefm2004.html#MoisanRR04