André Arnold Verification and Comparison of Transition Systems. 121-135 1993 conf/tapsoft/1993 TAPSOFT db/conf/tapsoft/tapsoft93.html#Arnold93 http://dx.doi.org/10.1007/3-540-56610-4_60