Øystein Haugen, Ketil Stølen. STAIRS - Steps to Analyze Interactions with Refinement Semantics. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 388-402, Springer, 2003. [doi]
Abstract is missing.