selected publications conference paper Automatic transformation of abstract AUTOSAR architectures to timed automata. . 2012