satisfiability algorithm / paper concurrent transition systems / typical model-checking algorithms / state transition systems / concurrent systems / graphs underlying systems / real-world systems / concurrent transition systems / transition systems / /