Model Checking of Non-Finite State Processes by Finite Approximations