1. Assessment of VDM-based autonomous navigation of a UAV under operational conditions;Khaghani;Robotics and Autonomous Systems,2018
2. Semantics of roundoff error propagation in finite precision calculations;Martel;Higher-order and symbolic computation,2006
3. TOPcon (2018). Topconb110-gnssboard. Available at: https://www.topconpositioning.com/support/products/b110-gnss-board
4. DoT, F. (2015). Operation and certification of small unmanned aircraft systems. Technical report, FAA-2015-0150: Notice.
5. Khaghani, M. (2018). Vehicle dynamic model based navigation for small UAVs. PhD thesis, École Polytechnique Fédérale de Lausanne. Available at: http://infoscience.epfl.ch/record/253624