Logische Zeit @ Arbeit für die Modellierung und Analyse eingebetteter Systeme, Fachbücher von Frederic Mallet