Redirecting to /books/hardcover/9780691634890/computer-aided-verification-of-coordinating-processes