Smart-Parking: Integration and data management by modeling and simulation using connected objects according to the DEVS formalism | IEEE Conference Publication | IEEE Xplore