1. Model checking-based safety verification for railway signal safety protocol-I. (1st January 2013) Authors: Meng, Mei; Zhongwei, Xu; Xi, Wang; Yongbing, Wan Journal: International journal of computer applications technology Issue: Volume 46:Number 3(2013) Page Start: 195 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗