N. Evans, “Integrating Formal Methods with Informal Digital Hardware Development”, ECEASST, vol. 35, Apr. 2011.