CLEVERsim: A Declarative, Event-Driven Simulator for the Investigation of Large Scale M2M Scenarios | IEEE Conference Publication | IEEE Xplore