@misc{indiciae95d9093f3424,
  title = {Refinement of Reactive 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},
  url = {https://www.osti.gov/biblio/1810037},
  note = {Source identifier: 1810037}
}