Quan Zu Miaomiao Zhang Jing Liu Qingfeng Du Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. 445-448 2008 HASE http://dx.doi.org/10.1109/HASE.2008.35 conf/hase/2008 db/conf/hase/hase2008.html#ZuZLD08