Firmware verification and simulation in IBM zEnterprise 196 | IBM Journals & Magazine | IEEE Xplore