Systèmes temps réel en ADA, Loïc Briand · Super Livre