Comparing Smart Cities with different modeling approaches | Synapse