Design and validation of computer protocols, Gerard Holzmann. https://www.amazon.com/Design-Validation-Computer-Protocols-Holzmann/dp/0135399254/ref=mp_s_a_1_1

Design and validation of computer protocols, Gerard Holzmann. https://www.amazon.com/Design-Validation-Computer-Protocols-Holzmann/dp/0135399254/ref=mp_s_a_1_1?crid=1G0LD92AUOECK&keywords=design+validation+of+computer+protocols&qid=1675215432&sprefix=design+validation+of+computer+protocols+%2Caps%2C121&sr=8-1 https://www.amazon.com/Design-Validation-Computer-Protocols-... Dang that's pricey.