A temporal approach for testing distributed systems | IEEE Journals & Magazine | IEEE Xplore