Vera Pantelic Xiao-Hui Jin Mark Lawford David Lorge Parnas Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. 629-635 2006 conf/serp/2006-2 Software Engineering Research and Practice db/conf/serp/serp2006-2.html#PantelicJLP06