Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine. TCX project: high assurance for secure embedded systems. SIGBED Review, 2(2):23-26, 2005. [doi]
@article{NguyenLI05,
title = {TCX project: high assurance for secure embedded systems},
author = {Thuy D. Nguyen and Timothy E. Levin and Cynthia E. Irvine},
year = {2005},
doi = {10.1145/1121788.1121796},
url = {http://doi.acm.org/10.1145/1121788.1121796},
researchr = {https://researchr.org/publication/NguyenLI05},
cites = {0},
citedby = {0},
journal = {SIGBED Review},
volume = {2},
number = {2},
pages = {23-26},
}