vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments | IEEE Conference Publication | IEEE Xplore