Holger Giese, Florian Klein, Sven Burmester. Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. In Stefan Leue, Tarja Systä, editors, Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers. Volume 3466 of Lecture Notes in Computer Science, pages 193-211, Springer, 2003. [doi]