Wolfgang Pointner, Gabriele Kotsis, Michael Naderhirn,
"Formal Methods-based System Development for General Aviation and Autonomous Aircraft"
, in Michael Hofbaur, Manfred Husty: Proceedings of the Austrian Robotics Workshop, Vol. 1, 5-2011, ISBN: 978-3-9503191-0-1
Original Titel:
Formal Methods-based System Development for General Aviation and Autonomous Aircraft