De ning Safety and Liveness (1985)

by B Alpern, F Schneider