A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay | IEEE Conference Publication | IEEE Xplore