Contemporary approaches to control system specification and design applied to KAON | IEEE Conference Publication | IEEE Xplore