Software architecture synthesis for retargetable real-time embedded systems | IEEE Conference Publication | IEEE Xplore