Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. - Wendy Johnston; Kirsten Winter; Lionel van den Berg; Paul A. Strooper; Peter J. Robinson 001 (FM, 2006)

An Automated Approach for the Interpretation of Counter-Examples. - Lionel van den Berg; Paul A. Strooper; Wendy Johnston (V&D@FLoC, 2006)