Kalyon, Massart, Meuter, Begin, 2007. Testing Distributed Systems Through Symbolic Model Checking, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-73196-2_17