A methodology and algorithms for efficient interprocess communication synthesis from system description in SDL | IEEE Conference Publication | IEEE Xplore