%0 Conference Proceedings
%F Roopetal2009
%A Roop, P.
%A Girault, A.
%A Sinha, R.
%A Gössler, G.
%T Specification Enforcing Refinement for Convertibility Verification
%B Proc. ACSD'09
%E Edwards, S.
%E Lorenz, R.
%E Vogler, W.
%P 148-157
%I IEEE
%D 2009