A polynomial algorithm for gateway generation from formal specifications | IEEE Journals & Magazine | IEEE Xplore