Richard Mayr: Decidability and complexity of model checking problems for infinite state systems. Technical University Munich, Germany 1998, 1-190