Cláudio Walter. Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. (A formal system for specifying real-time checkers of discrete process). PhD thesis, Grenoble Institute of Technology, France, 1981. [doi]
Abstract is missing.