From Offline Towards Real-Time Verification for Robot Systems. - Rui Wang 024; Yingxia Wei; Houbing Song; Yu Jiang 001; Yong Guan; Xiaoyu Song; Xiaojuan Li (IEEE Trans. Ind. Informatics, 2018)