Specification and Design of Reactive Systems (2000)

by B Lee
Venue:Laboratory, Univ. of California, Berkeley