Benefits of Using Model-based Testing Tools. - Giorgio Bruno; Mauro Varani; Valter Vico; Chris Offerman (Objective Software Quality, 1995)