Ismail Berrada Richard Castanet Patrick Félix Testing Communicating Systems: a Model, a Methodology, and a Tool. 111-128 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_9 db/conf/pts/testcom2005.html#BerradaCF05