“…Works in the MBT/MDA context are mainly focused on transforming the system model at the PIM level into the test model at PIT level [1], [5], [6], [19], [22], and defining transformations from the PIT level to the PST level and/or the test code [1], [20], [22], [38]. However, it is important to have some independence between the system models and the test models, because mistakes in the system models can be propagated to the code and the tests and, therefore, they are impossible to detect [30], [34].…”