Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

Yuhong Zhao Simon Oberthür Norma Montealegre Franz J. Rammig Martin Kardos Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. 1034-1041 2005 conf/ppam/2005 PPAM http://dx.doi.org/10.1007/11752578_125 db/conf/ppam/ppam2005.html#ZhaoOMRK05