TY  - RPRT
TI  - Runtime Verification with Ogma
AU  - Ivan Perez
UR  - https://ntrs.nasa.gov/citations/20230000501
ID  - 20230000501
ER  -