%O BookSection 
%F amabegnon95a
%A Amagbegnon, T.P.
%A Le Guernic, P.
%A Marchand, H.
%A Rutten, E.
%T Signal- the specification of a generic, verified production cell controller
%B Formal Development of Reactive Systems - Case Study Production Cell
%E Lewerentz, C.
%E Lindner, T.
%N 891

%P 115-129
%S Lecture Notes in Computer Science
%I Springer Verlag
%8 January
%D 1995