@inproceedings{TV-FMCAD09, <br>AUTHOR = {Tverdyshev, Sergey},<br>TITLE = {A Verified Platform for a Gate-Level Electronic Control Unit},<br>YEAR = {2009},<br>PAGES = {164-171}, <br>SERIES = {IEEE},<br>BOOKTITLE = {Formal Methods in Computer Aided Design, FMCAD'09}, <br>PUBLISHER = {IEEE},<br>EE = {http://dx.doi.org/10.1109/FMCAD.2009.5351125},<br>}