Civil avionics systems - Moir (Wiley-Blackwell, 2013)