Toshiaki Aoki. Model Checking Multi-Task Software on Real-Time Operating Systems. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 551-555, IEEE Computer Society, 2008. [doi]
Abstract is missing.