C. Desclaux

M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS

C. Desclaux, R. Valette, Marc Courvoisier, 1987 .

Supervisory control of discrete-event processes with partial observations

C. Desclaux, Pravin Varaiya, R. Cieslak, 1988 .

M.L.C.: A Language for the Specification of the FMS Control Systems

C. Desclaux, R. Valette, Marc Courvoisier, 1986 .

MACS: maintenance assistance capability for software-a KADME

C. Desclaux, M. Ribault, C. Desclaux, 1991, Proceedings. Conference on Software Maintenance 1991.

A Methodology of Specification and Implementation of Distributed Discrete Control Systems

C. Desclaux, J. C. Pascal, H. Demmou, 1987, IEEE Transactions on Industrial Electronics.