Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. Conferences