Formal methods for interactive systems | Publicación