Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. - Giese, Holger; Klein, Florian; Burmester, Sven (2003)