%0 Conference Paper 
%1 730150
%A Claus Pahl 
%T Interference Analysis for Dependable Systems Using Refinement and Abstraction 
%B Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right 
%@ 3-540-43928-5 
%P 330-349 
%D 2002 
%I Springer-Verlag