@misc{indiciae92974fd72f7d,
  title = {Refinement and Verification of Responsive Control Systems.},
  author = {Morris, Karla Vanessa and Snook, Colin and Hoang, Thai Son and Armstrong, Robert C. and Hulette, Geoffrey Compton and Butler, Michael},
  year = {2020},
  doi = {10.1007/978-3-030-48077-6\_23},
  url = {https://www.osti.gov/biblio/1772201},
  note = {Source identifier: 1772201}
}