Antonio Bucchiarone Stefania Gnesi Giuseppe Lami Gianluca Trentanni Alessandro Fantechi QuARS Express - A Tool Demonstration. 473-474 2008 ASE http://dx.doi.org/10.1109/ASE.2008.77 conf/kbse/2008 db/conf/kbse/ase2008.html#BucchiaroneGLTF08