鈥淎pproximate Model Checking,鈥 1998.