Simon St. James Ulrich Ultes-Nitsche An Optimised Partial-Order Approach to the Verification of System Components. 69-81 2003 conf/nddl/2003 NDDL/VVEIS db/conf/nddl/nddl2003.html#JamesU03