Symbolic trajectory evaluation for word-level verification: theory and implementation
scientific article; zbMATH DE number 6715527