Kaizen: Building a Performant Blockchain System Verified for Consensus and IntegrityKalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I., & Madhusudan, P. (2019). Kaizen: Building a performant blockchain system verified for consensus and integrity. 2019 Formal Methods in Computer Aided Design (FMCAD), Computer Aided Design (FMCAD), 2019 Formal Methods In, 96–104.
This is an exciting read on how the Kaizen method supports a highly technical project.