1. Maxim Integrated Products, Inc. Determining Clock Accuracy Requirements for UART Communications (June 2003), available at
http://www.maxim-ic.com/appnotes.cfm/appnotenumber/2141
2. Moore, J.S.: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol. Formal Aspects of Computing 6(1), 60–91 (1994)
3. Hung, D.V.: Modelling and verification of biphase mark protocols using PVS. In: Proceedings of the International Conference on Applications of Concurrency to System Design (CSD 1998), pp. 88–98. IEEE Computer Society Press, Los Alamitos (1998)
4. Ivanov, S., Griffioen, W.O.D.: Verification of a biphase mark protocol. Technical Report CSI-R9915, University of Nijmegen Computing Science Institute (1999)
5. Henzinger, T., Preussig, J., Wong-Toi, H.: Some lessons from the Hytech experience. In: Proceedings of the 40th Annual Conference on Decision and Control, pp. 2887–2892 (2001)