發送短信 : A common model approach to the integration of heterogeneous models of communications, concurrency, and coordination for embedded systems /