Evans, N. Integrating Formal Methods With Informal Digital Hardware Development. ECEASST 2011, 35.