Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. - Roopak Sinha; Ayush Narula; John Grundy 001 (ACSW, 2017)