Comparison of Model Checking Tools for Information Systems. - Marc Frappier; Benoît Fraikin; Romain Chossart; Raphaël Chane-Yack-Fa; Mohammed Ouenzar (ICFEM, 2010)

Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. - Thibault De Champs; Bessam Abdulrazak; Hélène Pigot; Mohammed Ouenzar; Marc Frappier; Benoît Fraikin (PerCom Workshops, 2011)