Marco Battaglia Giancarlo Savoia ReverseNICE: A Re-Engineering Methodology and Supporting Tool. 244-248 1995 conf/adaEurope/1995 Ada-Europe db/conf/adaEurope/adaEurope1995.html#BattagliaS95 http://dx.doi.org/10.1007/BFb0015499