Using Trustworthy Simulation to Engineer Cloud Schedulers | IEEE Conference Publication | IEEE Xplore