Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang. Model Checking for SpaceWire Link Interface Design Using Uppaal. In IEEE 37th Annual Computer Software and Applications Conference, COMPSAC Workshops 2013, Japan, July 22-26, 2013. pages 181-186, IEEE, 2013. [doi]
Abstract is missing.