Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Reno, NV, USA, June 10-12, 2014. pages 374-383, IEEE, 2014. [doi]
Abstract is missing.