Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources | IEEE Journals & Magazine | IEEE Xplore