“Approximate Model Checking,” 1998.