A framework for extending the Science Traceability Matrix: Application to the planned europa mission | IEEE Conference Publication | IEEE Xplore