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