A logic for reasoning about time and reliability (1994)

by H Hansson, B Jonsson
Venue:Formal Aspects of Computing