Implementing a model checking algorithm by adapting existing automated tools. Automatic verification methods for finite state systems (1990)

by Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow