Model Checking as a Service using Dynamic Resource Scaling | IEEE Conference Publication | IEEE Xplore