Formal design of hybrid systems | Publicación