Implementing a Model Checking Algorithm by Adapting Existing Automated Tools. - Bengt Jonsson 001; Ahmed Hussain Khan; Joachim Parrow (Automatic Verification Methods for Finite State Systems, 1989)