Timed automata based analysis of embedded system architectures.

Martijn Hendriks Marcel Verhoef Timed automata based analysis of embedded system architectures. 2006 conf/ipps/2006 IPDPS http://dx.doi.org/10.1109/IPDPS.2006.1639422 db/conf/ipps/ipdps2006.html#HendriksV06