Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun. iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 193-200, IEEE, 2014. [doi]
Abstract is missing.