%0 Conference Proceedings
%F marchand99a
%A Marchand, H.
%A Samaan, M.
%T On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology
%B World Congress on Formal Methods (FM'99), Volume 1709 of LNCS
%P 1605-1624
%C Toulouse, France
%U ftp://ftp.irisa.fr/local/signal/publis/articles/FM99:control_synth_appli.ps.gz
%8 October
%D 1999