“…TuCSoN is still actively developed, as witnessed by the recently published extension to the ReSpecT language and toolchain [68]. Also, it is actively exploited as the infrastructural backbone for other projects (e.g., the smart home logic-based platform Home Manager [69]) and industrial applications (e.g., the Electronic Health Record solution described in [70]).…”