A methodological approach for checking safety-critical systems software | Publicación