A Virtual Model of Manufacturing System Based on Hybrid Automata. - Danding Jiang; Jingtao Zhou; Ying Zhao; Enming Li (ICCMA, 2018)