Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. - Vera Pantelic; Xiao-Hui Jin; Mark Lawford; David Lorge Parnas (Software Engineering Research and Practice, 2006)