R. Kammerer: "TTCAN"; in: "Time-Triggered Communication", CRC Press, 2011, (invited), ISBN: 9781439846612, 223 - 245.