Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems | IEEE Conference Publication | IEEE Xplore