Harrison M, Campos JC, Masci P.? 2015.??Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering. 11:95-111.