Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. - Xiaolong Wang; Richard Habeeb; Xinming Ou; Siddharth Amaravadi; John Hatcliff; Masaaki Mizuno; Mitchell L. Neilsen; S. Raj Rajagopalan; Srivatsan Varadarajan (ICDCS Workshops, 2017)