%0 Conference Proceedings
%F GoesslerRaclet2009
%A Gössler, G.
%A Raclet, J.-B.
%T Modal Contracts for Component-based Design
%B Proc. SEFM'09 (accepted)
%I IEEE
%D 2009