Experience with testing and rigorous program analysis for qualification of RTOS. - Amol Wakankar; Arindam Khan 002; G. Aravamuthan; A. K. Bhattacharjee (ISEC, 2013)