Bhuvan Unhelkar OODEV Open. 367 1997 conf/tools/25-1997 TOOLS (25) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681893 db/conf/tools/tools25-1997.html#Unhelkar97