Action language verifier: An infinite-state model checker for reactive software specifications
scientific article; zbMATH DE number 5666998
scientific article