Model-checking of space systems designed with TASTE/SDL | Publicación