@report{AWE1549,
  author = {{National Tranportation Safety Board}},
  shortauthor = {NTSB},
  number = {PB2010-910403},
  title = {Loss of Thrust in Both Engines After Encountering a Flock of Birds
           and Subsequent Ditching on the Hudson River},
  type = {Technical Report},
  institution = {},
  date = {2010},
  month = {5},
  day = {3},
  url = {https://www.ntsb.gov/investigations/Pages/DCA09MA026.aspx},
}

@article{nasa-checklist,
  author = {Burian, Barbara},
  year = {2006},
  month = {10},
  pages = {},
  title = {Design Guidance for Emergency and Abnormal Checklists in Aviation},
  volume = {50},
  journal = {Proceedings of the Human Factors and Ergonomics Society Annual
             Meeting},
  doi = {10.1177/154193120605000123},
}

@book{nasa-design,
  year = {2016},
  month = {11},
  title = {Designing Flightdeck Procedures},
  copyright = {Copyright Determination: PUBLIC_USE_PERMITTED},
  language = {eng},
  address = {Ames Research Center},
  author = {Barshi, Immanuel and Mauro, Robert and Degani, Asaf and Loukopoulou,
            Loukia},
  keywords = {Air Transportation And Safety},
  url = {https://ntrs.nasa.gov/citations/20160013263},
}

@book{manifesto,
  author = {Atul Gawande},
  title = {The Checklist Manifesto: How To Get Things Right},
  publisher = {Profile Books},
  edition = {Main Edition},
  year = {2010},
  month = {7},
  day = {9},
  isbn = {9781846683145},
}

@article{pilot-reaction,
  author = {Kennedy, Quinn and Taylor, Joy and Heraldez, Daniel and Noda, Art
            and Lazzeroni, Laura C. and Yesavage, Jerome},
  title = {Intraindividual Variability in Basic Reaction Time Predicts
           Middle-Aged and Older Pilots’ Flight Simulator Performance},
  journal = {The Journals of Gerontology: Series B},
  volume = {68},
  number = {4},
  pages = {487-494},
  year = {2012},
  month = {10},
  issn = {1079-5014},
  doi = {10.1093/geronb/gbs090},
  eprint = {
            https://academic.oup.com/psychsocgerontology/article-pdf/68/4/487/1520662/gbs090.pdf
            },
}

@manual{caa-emergency,
  author = {Civil Aviation Authority},
  title = {Aircraft Emergencies: Considerations for air traffic controllers},
  number = {CAP745},
  year = {2005},
  month = {3},
  url = {https://www.caa.co.uk/cap745},
}

@online{vdm,
  author = {The Overture Project},
  title = {The Vienna Development Method},
  url = {https://www.overturetool.org/method/},
  urldate = {2024-02-23},
}

@online{vdmj,
  author = {Nick Battle},
  title = {VDMJ},
  url = {https://github.com/nickbattle/vdmj},
  urldate = {2024-04-21},
}

@manual{overture-remote,
  author = {Peter Gorm Larsen and Kenneth Lausdahl and Peter Jørgensen and Joey
            Coleman and Sune Wolff and Nick Battle},
  title = {Overture VDM-10 Tool Support: User Guide},
  institution = {The Overture Initiative},
  url = {
         https://raw.github.com/overturetool/documentation/editing/documentation/UserGuideOvertureIDE/OvertureIDEUserGuide.pdf
         },
  chapter = {16},
  pages = {81-98},
  number = {TR-2010-02},
  year = {2013},
  month = {04},
}

@manual{vdmtoolbox-api,
  author = {Kyushu University},
  title = {The VDM Toolbox API},
  url = {
         https://github.com/vdmtools/vdmtools/raw/stable/doc/api-man/ApiMan_a4E.pdf
         },
  version = {1.0},
  year = {2016},
}

@article{jvm-alt-lang,
  author = {Raoul-Gabriel Urma},
  title = {Alternative Languages for the JVM},
  journal = {Java Magazine},
  year = {2014},
  month = {07},
  url = {
         https://www.oracle.com/technical-resources/articles/java/architect-languages.html
         },
  urldate = {2024-05-05},
}

@online{kotlin,
  author = {JetBrains s.r.o.},
  title = {Kotlin Programming Language},
  url = {https://kotlinlang.org/},
  urldate = {2024-04-21},
}

@online{android-kotlin,
  author = {Google LLC},
  title = {Kotlin and Android | Android Developers},
  url = {https://developer.android.com/kotlin},
  urldate = {2024-04-21},
}

@online{compose,
  author = {JetBrains s.r.o.},
  title = {Compose Multiplatform UI Framework | JetBrains | JetBrains: Developer
           Tools for Professionals and Teams},
  url = {https://www.jetbrains.com/lp/compose-multiplatform/},
  urldate = {2024-04-21},
}

@online{jetpack-compose,
  author = {Google LLC},
  title = {Jetpack Compose UI App Development Toolkit - Android Developers},
  url = {https://developer.android.com/develop/ui/compose},
  urldate = {2024-04-21},
}

@online{javafx,
  author = {OpenJFX},
  title = {JavaFX},
  url = {https://openjfx.io/},
  urldate = {2024-04-21},
}

@online{flatlaf,
  author = {FormDev Software GmbH},
  title = {FlatLaf - Flat Look and Feel | FormDev},
  url = {https://www.formdev.com/flatlaf/},
  urldate = {2024-04-21},
}

@online{flutter,
  author = {Google LLC},
  title = {Flutter - Build apps for any screen},
  url = {https://flutter.dev/},
  urldate = {2024-04-21},
}

@online{x-plane,
  author = {Laminar Research},
  title = {X-Plane | The world’s most advanced flight simulator.},
  url = {https://www.x-plane.com/},
  urldate = {2024-04-21},
}

@online{p3d,
  author = {Lockheed Martin Corporation},
  title = {Prepar3D – Next Level Training. World class simulation. Be ahead of
           ready with Prepar3D.},
  url = {https://www.prepar3d.com/},
  urldate = {2024-04-21},
}

@online{xpc,
  author = {NASA Ames Research Center Diagnostics and Prognostics Group},
  title = {X-Plane Connect},
  url = {https://github.com/nasa/XPlaneConnect},
  urldate = {2024-04-21},
}

