A temporal logic for multi-level reasoning about hardware (1985)

by B Moszkowski
Venue:IEEE Computer