@unpublished{Endres-NFM2010, <br>AUTHOR = {Endres, E. and Muller, C. and Shadrin, A. and Tverdyshev, S. },<br>TITLE = {Towards the Formal Verification of a Distributed Real-Time Automotive System},<br>VOLUME = {NASA/CP-2010-216215}, <br>YEAR = {2010},<br>PAGES = {212-217}, <br>BOOKTITLE = {Second NASA Formal Methods Symposium
NFM 2010}, <br>PUBLISHER = {NASA},<br>EDITOR = {Cesar Munoz},<br>EE = {http://shemesh.larc.nasa.gov/NFM2010/proceedings/NASA-CP-2010-216215.pdf},<br>}