Wei Jin, Hanpin Wang, Meixia Zhu. Modeling MARTE Sequence Diagram with Timing Pi-Calculus. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011. pages 61-66, IEEE Computer Society, 2011. [doi]
Abstract is missing.