Determining the specification of a control system from that of its environment (2003)

by I J Hayes, M A Jackson, C B Jones
Venue:FME 2003: Formal Methods, volume 2805 of LNCS