On the verification of safety properties (1990)

by A Bouajjani, J C Fernandez, N Halbwachs