Formal Validation of a Deterministic MAC Protocol | Publicación