Robert M. Hierons Hasan Ural Checking sequences for distributed test architectures. 223-238 2008 21 Distributed Computing 3 http://dx.doi.org/10.1007/s00446-008-0062-4 db/journals/dc/dc21.html#HieronsU08