Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren. A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. In Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos, editors, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Volume 7349 of Lecture Notes in Computer Science, pages 303-318, Springer, 2012. [doi]
Abstract is missing.