selected publications conference paper A small-scale model house evaluation platform for building automation systems. . 2016 Technical management system for dependable Building Automation Systems. . 2015