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)