Synthesis of communication protocols: survey and assessment | IEEE Journals & Magazine | IEEE Xplore