Transforming SystemC Transaction Level Models into UPPAAL timed automata.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Browse the full MEMOCODE paper archive.