Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.

Kai Lampka, Simon Perathoner, Lothar Thiele

Browse the full EMSOFT paper archive.