Model of the State of Operation for Automatized Systems. - T. Parayre; Yves Sallez; René Soënen (PROLAMAT, 1992)