SmartyCo: Managing Cyber-Physical Systems for Smart Environments. - Daniel Romero 002; Clément Quinton; Laurence Duchien; Lionel Seinturier; Carolina Valdez (ECSA, 2015)