Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. - Ulrich Ultes-Nitsche; Simon St. James (FORTE, 2001)

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. - Simon St. James; Ulrich Ultes-Nitsche (PODC, 2001)

An Optimised Partial-Order Approach to the Verification of System Components. - Simon St. James; Ulrich Ultes-Nitsche (NDDL/VVEIS, 2003)

Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions. - Ulrich Ultes-Nitsche; Simon St. James (Softw. Test. Verification Reliab., 2003)

Improved state-space construction in automated verification. - Simon St. James (2008)