Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly. - Jae Ick Lee; Sung Wook Chun; Soon Ju Kang (J. Syst. Archit., 2002)