Introduction to avionics systems (Springer, New York, 2011)