Controlling control systems: An application of evolving retrenchment (2002)

by M Poppleton, R Banach
Venue:Second International Conference of B and Z Users, volume 2272 of LNCS