DogSim: A state chart simulator for Domotic Environments | IEEE Conference Publication | IEEE Xplore