Mengxuan ZhaoGilles PrivatÉric RuttenHassane AllaDiscrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure.174-1902014AmIhttps://doi.org/10.1007/978-3-319-14112-1_15conf/ami/2014db/conf/ami/ami2014.html#ZhaoPRA14