Techniques for automating distributed real-time applications design | IEEE Conference Publication | IEEE Xplore