Automatic generation and verification of transaction level models - Lo Chi Yu Lo, Lucky (2009)
Tesis (doctorado)–University of California, 2009