1. , and , “Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control,” Lecture Notes in Computer Sciences, Vol. 1165, Springer, Berlin (1996).
2. Synthesis of procedural controllers — Application to a batch pilot plant
3. APV-Baker, “ACCOS 30 Training Manual,” Technical Report Issue 1, Crawley, U.K. (1994).
4. , and , “A Method for Specifying, Implementing and Verifying Media Access Protocols,” IEEE Control Systems Magazine, 87 (June 1990).