Formal Specification and Validation of a Vital Communication Protocol. - Alessandro Cimatti; P. L. Pieraccini; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita (World Congress on Formal Methods, 1999)