Advanced firmware verification using a code simulator for the IBM System z9. - Klaus Theurich; Alexander Albus; Felix Eickhoff; Daniela Immel; Andreas Kohler; Eberhard Lange; Joachim von Buttlar (IBM J. Res. Dev., 2007)