p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). - Michael Baldamus; Jochen Schröder-Babo (SPIN, 2001)