@article{KJR22,
author = {Brian Kempa and Christopher Johannsen and Kristin Yvonne Rozier},
title = {{Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System}},
journal = {Ada User Journal},
year = {2022},
volume = {September},
}