Online modeling refinement for discrete event systems. - Sheng-Luen Chung; Chung-Lun Li; Jun-Chin Wu; Shih-Tung Wang (SMC, 2003)