Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. - Faria Kalim; Karl Palmskog; Jayasi Mehar; Adithya Murali; Indranil Gupta; P. Madhusudan (FMCAD, 2019)