Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore