%0 Conference Proceedings
%F ictac07
%A Bostrm, P.
%A Morel, L.
%A Walden, M.
%T Stepwise development of Simulink models using the refinement calculus framework
%B International Colloquium on Theoretical Aspects of Computing
%I Springer Verlag
%D 2007