Formal Analysis and Verification of Timing and Resource Adaptability for Internetware
Zhongqun Wang, Jun Li, and Qi Xia
Int J Performability Eng . 2018, (8): 1796 -1803 .  DOI: 10.23940/ijpe.18.08.p16.17961803