Inès Mouakher Jeanine Souquières Francis Alexandre Protocol Verification in a Software Component-Based Approach. 136-145 2008 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.16 conf/ecbs/2008 db/conf/ecbs/ecbs2008.html#MouakherSA08