Designing, Modelling and Verifying a Container Terminal System Using UPPAAL | IEEE Conference Publication | IEEE Xplore