https://123dok.org/document/4yr699jy-type-system-iot-lysa-linguaggio-modellare-sistemi-iot.html