Juan Luis Herrera, Javier Berrocal, Stefano Forti, Antonio Brogi, Juan Manuel Murillo: Supplemental material for "Multi-Layered Continuous Reasoning for Cloud-IoT Application Management". IEEE DataPort 2023