Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Yi-Ling HwongJeroen J. A. KeirenVincent J. J. KustersSander J. J. LeemansTim A. C. WillemsePublished in: Sci. Comput. Program. (2013)