Statische Verifikation von Softwareprotokollen - Bär, Holger (Monsenstein u. Vannerdat, 2005)