Adaptive REST applications via model inference and probabilistic model checking | IEEE Conference Publication | IEEE Xplore