Redirecting to /books/paperback/9780691606057/computer-aided-verification-of-coordinating-processes