Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215