Finite Approximations for Model Checking non-finite state processes