Verifying information flow properties of hybrid systems | Publicación