Detailed Design of Avionics Control Software. - Ulf Nilsson; S. Streiffert; Anders Törne (RTSS, 1998)