A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications. - Silvia Mazzini; John M. Mavaro; Laura Baracchi (ITSC, 2015)