@misc{indiciae3b39b5bfca0d,
  title = {Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider},
  author = {Yi-Ling Hwong and Vincent J. J. Kusters and Tim A. C. Willemse},
  year = {2011},
  doi = {10.1016/j.scico.2012.11.009},
  url = {https://arxiv.org/abs/1101.5324},
  note = {Source identifier: 1101.5324}
}