Add NFM paper

Author: kcordwel

_bibliography/papers.bib

@@ -2,6 +2,29 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
+@inproceedings{DBLP:conf/nfm/RosentraterWKR25,
+  author       = {Alec Rosentrater and
+                  Zili Wang and
+                  Katherine Kosaian and
+                  Kristin Yvonne Rozier},
+  editor       = {Aaron Dutle and
+                  Laura R. Humphrey and
+                  Laura Titolo},
+  title        = {Language Partitioning for Mission-Time Linear Temporal Logic},
+  booktitle    = {{NASA} Formal Methods - 17th International Symposium, {NFM} 2025,
+                  Williamsburg, VA, USA, June 11-13, 2025, Proceedings},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {15682},
+  pages        = {313--332},
+  publisher    = {Springer},
+  year         = {2025},
+  url          = {https://doi.org/10.1007/978-3-031-93706-4\_18},
+  doi          = {10.1007/978-3-031-93706-4\_18},
+  timestamp    = {Mon, 16 Jun 2025 17:30:19 +0200},
+  biburl       = {https://dblp.org/rec/conf/nfm/RosentraterWKR25.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
 @inproceedings{DBLP:conf/tacas/WangKR25,
   author       = {Zili Wang and
                   Katherine Kosaian and