TY - CONF AU - Schivo, Stefano AU - Yildiz., Bugra M. AU - Ruijters, Enno AU - Gerking, Christopher AU - Kumar, Rajesh AU - Dziwok, Stefan AU - Rensink, Arend AU - Stoelinga, Mariƫlle ED - Larsen, Kim G. ED - Sokolsky, Oleg ED - Wang, Ji ID - 20792 IS - 10606 T2 - Dependable Software Engineering, 3rd International Symposium (SETTA 2017) TI - How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach ER -