Jianming Fu, Xian Yi, Huanguo Zhang. Modeling the Behavior of Ada Tasks and Verifying Its Safety. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 676-680, IEEE Computer Society, 2004. [doi]