Robuta

https://www.nist.gov/publications/formal-analysis-bacnet-mstp-medium-access-control-protocol

A formal analysis of the BACnet MSTP medium access control protocol: | NIST

medium access control formal analysis bacnet mstp