Development of verification and conformance testing tools for a railway signaling communication protocol. - Jae-Ho Lee; Jong-Gyu Hwang; Ducko Shin; Kang-Mi Lee; Sung Un Kim (Comput. Stand. Interfaces, 2009)