Automatic verification of sequential infinite-state processes / - Burkart, Olaf. (Springer,, 1997)