Evans, N. (2011) “Integrating Formal Methods with Informal Digital Hardware Development”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.546.