@inproceedings{730150,
 author = {Claus Pahl},
 title = {Interference Analysis for Dependable Systems Using Refinement and Abstraction},
 booktitle = {FME '02: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right},
 year = {2002},
 isbn = {3-540-43928-5},
 pages = {330--349},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }