Modelling and verification of distributed algorithms - Reisig, Wolfgang 1950- (Humboldt-Univ. zu Berlin, 1996)