Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi. Analysis and verification of ECA rules in intelligent environments. JAISE, 10(3):261-273, 2018. [doi]
Abstract is missing.