Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources | Publicación