pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Browse the full APSEC paper archive.