Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. Refinement and Verification of Responsive Control Systems. In Alexander Raschke, Dominique Méry, Frank Houdek, editors, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Volume 12071 of Lecture Notes in Computer Science, pages 272-277, Springer, 2020. [doi]
Abstract is missing.