The modeling and verification of DSDM in airport taxi | IEEE Conference Publication | IEEE Xplore