Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism | IEEE Conference Publication | IEEE Xplore