Jin Hyun Kim Su-Young Lee Young Ah Ahn Jae-Hwan Sim Jin Seok Yang Na-Young Lee Jin-Young Choi Development of RTOS for PLC Using Formal Methods. 479-482 http://dx.doi.org/10.1007/978-3-540-30476-0_40 2004 conf/atva/2004 ATVA db/conf/atva/atva2004.html#KimLASYLC04