Model Checking Communication Protocols. - Pablo Argón; Giorgio Delzanno; Supratik Mukhopadhyay; Andreas Podelski (SOFSEM, 2001)