vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.
Claudia VannucchiMichelangelo DiamantiGianmarco MazzanteDiletta Romana CacciagranoFlavio CorradiniRosario CulmoneNikos GorogiannisLeonardo MostardaFranco RaimondiPublished in: Intelligent Environments (2017)