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)

Innovations in infrastructure firmware for the IBM z13. - Martin Troester; Patrick J. Clas; Martin Kuenzel; I. Leoshkevich; P. Schulz; Brian D. Valentine; Michael Becht; V. Gorbik; Preetham M. Lobo; Oliver Marquardt; S. Stork; Tobias Webel (IBM J. Res. Dev., 2015)