A Modular Formal Model for Pallet Transportation System in Machining Centres Automation | IEEE Conference Publication | IEEE Xplore