A logic for reasoning about time and reliability (1994)

by H Hansson, B Jonsson
Venue:Formal Asp. Comput