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