Test automation for critical space software | Publicación