A temporal logic for multilevel reasoning about hardware (1985)

by Ben Moszkowski
Venue:IEEE Computer