ESSPASE - European Space Software Product Assurance Support Environment. - Franco Correrini; Paolo Panaroni (Ada-Europe, 1994)