Describir: The Verification of a Distributed System.