UML User Interface to a Proof-based Hardware Design Flow. - D. Moisuc; S. Revol; Colin F. Snook (FDL, 2006)