Giorgio Bruno Mauro Varani Valter Vico Chris Offerman Benefits of Using Model-based Testing Tools. 224-235 1995 conf/sq/1995 Objective Software Quality db/conf/sq/sq1995.html#BrunoVVO95