Determining the specification of a control system from that of its environment, in: Formal Methods (2003)

by I Hayes, M Jackson, C Jones
Venue:of Lecture Notes in Computer Science