Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven | IEEE Conference Publication | IEEE Xplore