Enric Pastor Marco A. Peña Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. 11158-11159 2003 conf/date/2003 DATE http://csdl.computer.org/comp/proceedings/date/2003/1870/01/187011158abs.htm db/conf/date/date2003.html#PastorP03