Combining Aspect-orientation and UPPAAL Timed Automata.

Dragos Truscan, Jri Vain, Martin Koskinen

Browse the full ICSoft paper archive.