Reusing models and properties in the analysis of similar interactive devices

Michael D. Harrison, José Creissac Campos, Paolo Masci. Reusing models and properties in the analysis of similar interactive devices. ISSE, 11(2):95-111, 2015. [doi]

Abstract

Abstract is missing.