Model-based design and evaluation of interactive applications - Paterno, Fabio, 1960- (Applied computing, 2000)