Contemporary Approaches to Control System Specification and Design Applied to KAON Ludgate, G. A. ; Dohan, D. A. ; Osberg, E. A. Abstract Publication: 1991 IEEE Particle Accelerator Conference (APS Beam Physics) Pub Date: 1991 Bibcode: 1991pac..conf.1350L