Model-Based Membership Verification in Vehicular Platoons | IEEE Conference Publication | IEEE Xplore