“…Even at this intermediate level though, all previous modelling techniques, such as those proposed by Adve [1], Mehra et al [20], Parashar and Hariri [24], Jonkers [16], van Gemund [27], Labarta et al [18] and Dunlop and Hey [12] fail to strike an ideal balance between accuracy, flexibility, implementation and evaluation costs (see Grove's thesis [9] for a detailed discussion of the advantages and disadvantages of each of these approaches). Even at this intermediate level though, all previous modelling techniques, such as those proposed by Adve [1], Mehra et al [20], Parashar and Hariri [24], Jonkers [16], van Gemund [27], Labarta et al [18] and Dunlop and Hey [12] fail to strike an ideal balance between accuracy, flexibility, implementation and evaluation costs (see Grove's thesis [9] for a detailed discussion of the advantages and disadvantages of each of these approaches).…”