Model-checking Driven Design of Interactive Systems. - Antonio Cerone; Norzima Elbegbayan (FMIS@ICFEM, 2006)