%0 Conference Proceedings
%F RBBCLP-emsoft09
%A Raclet, J.-B.
%A Badouel, E.
%A Benveniste, A.
%A Caillaud, B.
%A Legay, A.
%A Passerone, R.
%T Modal Interfaces: Unifying Interface Automata and Modal Specifications
%B Proc. of 9th International Conference on Embedded Software (EMSOFT'09)
%I ACM
%D 2009