How to specify and verify the long-run average behavior of probabilistic systems (1998)

by L de Alfaro
Venue:In Proc. of LICS: Logic in Computer Science