Model Checking as a Service using Dynamic Resource Scaling. - Surya Teja Palavalasa; Yuvraj Singh; Adhish Singla; Suresh Purini; Venkatesh Choppella (HiPC, 2020)