Combining Aspect-orientation and UPPAAL Timed Automata. - Dragos Truscan; Jüri Vain; Martin Koskinen (ICSOFT PT, 2014)

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. - Dragos Truscan; Jüri Vain; Martin Koskinen; Junaid Iqbal (ICSOFT (Selected Papers), 2014)