Bushby, S.
(1992),
A formal analysis of the BACnet MSTP medium access control protocol:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.4777
(Accessed December 26, 2024)