Hai Lin, Yongxin Zhu, Hua Chen, Wei Guo. Cycle Accurate Verification of Synchronous Sequential Circuit Specified with UML 2.0 Modelling. In The 2007 International Conference on Intelligent Pervasive Computing, IPC 2007, Jeju Island, Korea, 11-13 October 2007. pages 295-302, IEEE Computer Society, 2007. [doi]