Text this: Towards the formal verification of the requirements and design of a processor interface unit / David A. Fura, Phillip J. Windley, Gerald C. Cohen.