Lina Bentakouk Pascal Poizat Fatiha Zaïdi A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. 16-32 2009 TestCom/FATES http://dx.doi.org/10.1007/978-3-642-05031-2_2 conf/pts/2009 db/conf/pts/testcom2009.html#BentakoukPZ09