Advancing traceability and consistency in Verification and Validation

Author(s):
Walter Tibboel and Martin Barnasconi