An algorithm for exact bounds on the time separation of events in concurrent systems (1995)

by H Hulgaard, S M Burns, T Amon, G Borriello
Venue:IEEE Transactions on Computers