%0 Conference Proceedings
%F GoesslerGrafMila*07b
%A Goessler, G.
%A Graf, S.
%A Majster-Cederbaum, M.
%A Martens, M.
%A Sifakis, J.
%T An Approach to Modelling and Verification of Component Based Systems
%B proc. SOFSEM'07
%V 4362
%P 295-308
%S LNCS
%I Springer-Verlag
%D 2007