Efficient simulation of IoT cloud use cases