5th IFAG/IFIP Symposium on Software/or Computer Control (SO- COCO), Graz, Austria, 1986.

• Bergerand, J-L. Caspi, P. Halbwachs, and J. A. Pl (1986) Bergerand, J-L. Caspi, P. Halbwachs, and J. A. Plaice. "Automatic control systems programming using a real-time declarative language.