"Proof Score Approach to Verification of Liveness Properties."

Kazuhiro Ogata, Kokichi Futatsugi (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics