@misc{indiciaec56fed392e97, title = {Runtime Analysis with R2U2: A Tool Exhibition Report}, author = {Johann Martin Schumann and Patrick Moosbrugger and Kristin Y. Rozier}, url = {https://ntrs.nasa.gov/citations/20200002895}, note = {Source identifier: 20200002895} }