Conflict Detection in Call Control Using First-Order Logic Model Checking