A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary Can Bus | IEEE Journals & Magazine | IEEE Xplore