The Quantitative Analysis of Approximate Correctness for Real-Time Systems
Yanfang Ma, Liang Chen, and Haiyu Pan
Int J Performability Eng . 2017, (6): 886 -896 .  DOI: 10.23940/ijpe.17.06.p10.886896