https://ccmi.fit.cvut.cz/nabidka-phd-tematu-infrastructure-and-language-kernels-for-iot-systems/