@inproceedings{WMFMH-DASC2026,
        author = "Lauren White and C{\'e}sar Mu{\~{n}}oz and Marco Feli{\'u} and Mariano Moscato and Laura Humphrey",
        title = "Integration of Formal Methods in the Development
of a Language for Autonomous Spacecraft
Operations",
        booktitle = "Proceedings of the 45th Digital Avionics Systems
                     Conference (DASC 2026)",
        address = "Orlando, Florida, USA",
        month = "September",
        year = "2026"
}