Michael Baldamus Jochen Schröder-Babo p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). 183-191 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570183.htm db/conf/spin/spin2001.html#BaldamusS01