Specification and model-checking of space systems in the TASTE toolset | Publicación