Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. - Vivek G. Naik; A. Prasad Sistla (CAV, 1994)