TY  - BOOK
AU  - Hardin, David S
TI  - Design and Verification of Microprocessor Systems for High-Assurance Applications
SN  - 9781441915382
U1  - 629.895416 HAR 
PY  - 2010///
CY  - New York
PB  - Springer Verlag, Netherlands
KW  - Programmable controllers -- Testing
KW  - Programmable controllers -- Design and construction
ER  -