STATE - A SystemC to Timed Automata Transformation Engine.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Browse the full HPCC paper archive.