Sergiy Boroday Alexandre Petrenko Andreas Ulrich Implementing MSC Tests with Quiescence Observation. 49-65 2009 TestCom/FATES http://dx.doi.org/10.1007/978-3-642-05031-2_4 conf/pts/2009 db/conf/pts/testcom2009.html#BorodayPU09