Boeken over A proof-checked verification of a real-time communication protocol