Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong. FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. Australian Computer Journal, 42(3):171-188, 2010. [doi]
Abstract is missing.