Formal Approaches to Mode Conversion and Positioning for Vehicle System | IEEE Conference Publication | IEEE Xplore