A flexible protocol synthesis method for adopting requirement changes | IEEE Conference Publication | IEEE Xplore