Colin Campbell Margus Veanes Jiale Huo Alexandre Petrenko Multiplexing of Partially Ordered Events. 97-110 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_8 db/conf/pts/testcom2005.html#CampbellVHP05