Secure RTOS Architecture for Building Automation. - Xiaolong Wang; Masaaki Mizuno; Mitchell L. Neilsen; Xinming Ou; S. Raj Rajagopalan; Will G. Boldwin; Bryan Phillips (CPS-SPC@CCS, 2015)