VeRV: A temporal and data-concerned verification framework for the vehicle bus systems | IEEE Conference Publication | IEEE Xplore