A Partial Supply Simulation Relation and its Proof System in PADS
Xinghua Yao and Hengyang Wu
Int J Performability Eng . 2017, (8): 1312 -1326 .  DOI: 10.23940/ijpe.17.08.p13.13121326