Jae-dong Lee Jae-Il Jung Jae-Ho Lee Jong-Gyu Hwang Jin-Ho Hwang Sung Un Kim Verification and conformance test generation of communication protocol for railway signaling systems. 143-151 2007 29 Computer Standards & Interfaces 2 http://dx.doi.org/10.1016/j.csi.2006.03.001 db/journals/csi/csi29.html#LeeJLHHK07