Lamia Labed Jilani Jules Desharnais Ali Mili Defining and Applying Measures of Distance Between Specifications. 673-703 2001 27 IEEE Trans. Software Eng. 8 http://doi.ieeecomputersociety.org/10.1109/32.940565 db/journals/tse/tse27.html#JilaniDM01