Model-checking Driven Design of Interactive Systems | Publicación