Gregor von Bochmann Stefan Haar Claude Jard Guy-Vincent Jourdan Testing Systems Specified as Partial Order Input/Output Automata. 169-183 2008 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-68524-1_13 conf/pts/2008 db/conf/pts/testcom2008.html#BochmannHJJ08