A Case Study on Formal Analysis of an Automated Guided Vehicle System. - Zhang, Jie; Peng, Yuntao; Hung, William N. N.; Li, Xiaojuan; Tan, Jindong; Shi, Zhiping (J. Appl. Math., 2014)