Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. MARTE-based Design of a Multimedia Application and Formal Analysis. In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 160-166, IEEE, 2008. [doi]
Abstract is missing.