Dalinger, I. (2006). Formal Verification of a Processor with Memory Management Units. PhD Thesis, Universität des Saarlandes, Saarbrücken.