Platform-based design from parallel C specifications | IEEE Journals & Magazine | IEEE Xplore