Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, MingChu Li. Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. In Chenggang Wu, Albert Cohen, editors, Advanced Parallel Processing Technologies - 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers. Volume 8299 of Lecture Notes in Computer Science, pages 62-76, Springer, 2013. [doi]
Abstract is missing.