A kernel-based architecture for safe cooperative vehicular functions | IEEE Conference Publication | IEEE Xplore