A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.

Dragos Truscan, Jri Vain, Martin Koskinen, Junaid Iqbal

Browse the full ICSoft paper archive.