Temporal Verification of Carrier-Sense Local Area Network Protocols. - Dennis E. Shasha; Amir Pnueli; W. Ewald (POPL, 1984)