Improving the Security of Building Automation Systems Through an seL4-based Communication Framework