Firmware verification and simulation in IBM zEnterprise 196. - Koerner, S.; Werner, C.; Hess, T.; Schulz, P.; Strasser, M.; Wagner, S.; Böhm, H.; Troester, M.; Bolte, D.; Elfering, H.; Pohl, T.; Theurich, K.; et al. (IBM Journal of Research & Development, 2012)