PUBLICATION: Multi-layer cross domain reasoning over distributed autonomous IoT applications RonPub UG Document