z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900. - Joachim von Buttlar; Harald Böhm; Reinhard Ernst; Axel Horsch; Andreas Kohler; Herbert Schein; Michael Stetter; Klaus Theurich (IBM J. Res. Dev., 2002)

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)

Firmware verification and simulation in IBM zEnterprise 196. - Stefan Koerner; Constantin Werner; Thomas Hess; Philip Schulz; Markus Strasser; Sven Wagner; Harald Böhm; Martin Troester; Dirk Bolte; Herwig Elfering; Thomas Pohl; Klaus Theurich; et al. (IBM J. Res. Dev., 2012)