System-level timing feasibility test for cyber-physical automotive systems | IEEE Conference Publication | IEEE Xplore