Projecting transition systems: overcoming state explosion in concurrent system verification
scientific article; zbMATH DE number 6598729