A framework for analysing state-abstraction methods
scientific article; zbMATH DE number 7443178
scientific article