MBSE Driven IoT for Smarter Cities. - Matthew Hause; James Hummell; Fabrice Grelier (SoSE, 2018)