TY  - RPRT
TI  - Refinement and Verification of Responsive Control Systems.
AU  - Morris, Karla Vanessa
AU  - Snook, Colin
AU  - Hoang, Thai Son
AU  - Armstrong, Robert C.
AU  - Hulette, Geoffrey Compton
AU  - Butler, Michael
PY  - 2020
DO  - 10.1007/978-3-030-48077-6_23
UR  - https://www.osti.gov/biblio/1772201
ID  - 1772201
ER  -