1. https://en.wikipedia.org/wiki/MIL-STD-1553
2. https://en.wikipedia.org/wiki/CAN_bus
3. Lecture Notes in Computer Science;F Bourdoncle,1990
4. Brylow, D., Damgaard, N., Palsberg, J.: Static checking of interrupt-driven software. In: ICSE 2001, pp. 47–56. IEEE (2001)
5. Lecture Notes in Computer Science;J Chen,2015