Ning Ge, Marc Pantel. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. 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 352-367, Springer, 2012. [doi]
Abstract is missing.