1. AFRL . (2023). Navigation Technology Satellite - 3 NTS-3. Air Force Research Laboratory. https://afresearchlab.com/technology/nts-3
2. AFRL Space Vehicles Directorate, Advanced GPS Technology . (2019). Chips message robust authentication (Chimera) enhancement for the L1C signal: Space segment/user segment interface. IS-AGT-100. https://drive.google.com/file/d/1r_3F7q4aItLt3ANYd847EoN3NxFKRNb0/view
3. Althoff, M. , Grebenyuk, D. , & Kochdumper, N. (2018). Implementation of Taylor models in CORA 2018. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH18), Oxford, United Kingdom, 145–173. https://doi.org/10.29007/zzc7
4. Althoff, M. (2010). Reachability analysis and its application to the safety assessment of autonomous cars [Doctoral dissertation, Technische Universität München]. https://mediatum.ub.tum.de/doc/1287517
5. Althoff, M. , Stursberg, O. , & Buss, M. (2008). Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. Proc. of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, 4042–4048. https://doi.org/10.1109/CDC.2008.4738704