Timing assumptions and verification of finite-state concurrent systems”, in Automatic Verification Methods for Finite State Systems (1989)

by D L Dill