LEITROS operating systems for digital buildings