Verifying temporal constraints on data in multi-rate transactions using timed automata.

Anders Wall, Kristian Sandstrm, Jukka Mki-Turja, Christer Norstrm, Wang Yi

Browse the full RTCSA paper archive.