Separation of Distributed Real-Time Embedded Concerns with Theme/UML | IEEE Conference Publication | IEEE Xplore