A Logic for Reasoning about Time and Reliability (1994)

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