From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. - Aaron Dutle; César A. Muñoz; Esther Conrad; Alwyn Goodloe; Laura Titolo; Ivan Perez 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

A compositional proof framework for FRETish requirements. - Esther Conrad; Laura Titolo; Dimitra Giannakopoulou; Thomas Pressburger; Aaron Dutle (CPP, 2022)