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)