1. AM335x and AMIC110 Sitara™ Processors, Technical Reference Manual, Texas Instruments Rev. P.
https://www.ti.com/lit/ug/spruh73p/spruh73p.pdf
2. Alkassar, E., Hillebrand, M., Knapp, S., Rusev, R., Tverdyshev, S.: Formal device and programming model for a serial interface. In: Proceedings of VERIFY, pp. 4–20 (2007)
3. Lecture Notes in Computer Science;E Alkassar,2008
4. Cavada, R., et al.: NuSMV 2.4 user manual. CMU and ITC-IRST (2005)
5. Lecture Notes in Computer Science;H Chfouka,2015