Formal verification of space systems designed with TASTE | Publicación