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