Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun: Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771