EP2915040A2 - A SYSTEM AND METHOD THAT AUTOMATICALLY ENSURES CONSISTENCY AMONG A DESIGN MODEL, AN INTERFACE SPECIFICATION AND ONE OR MORE TESTS THAT TEST THE DESIGN MODEL