Functional modeling compiler for system-level design of automotive cyber-physical systems.