Gregor Buchholz, Peter Forbrig. Elaborating Analysis Models with Tool Support. In Pedro Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler, editors, Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Volume 6949 of Lecture Notes in Computer Science, pages 511-514, Springer, 2011. [doi]