Michael__Huth
Modal transition systems: A foundation for three-valued program analysis
On probabilistic model checking
On The Approximation of Denotational Mu-semantics
Quantitative analysis and model checking
The semantics for fair recursion with divergence