Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
scientific article; zbMATH DE number 6098240