Model Checking Multi-Task Software on Real-Time Operating Systems | IEEE Conference Publication | IEEE Xplore