4 works on record
Abstraction, refinement and proof for probabilistic systems
Formal Methods – The Next 30 Years
The Science of Quantitative Information Flow
Quantitative Evaluation of Systems
