Khaled El-FakihBooksTesting Software and SystemsFormal Techniques for Networked and Distributed Systems - FORTE 2008Author data: Open Library