TY  - BOOK
AU  - Bernin, Fredrik
AU  - Butler, Michael
TI  - UML-B Specification for Proven Embedded Systems Design 
SN  - 9781402028663
U1  - 005.117 BER 
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - UML (Computer Science)
KW  - Embedded computer systems
N1  - <p>Table of Contents:</p>

<p>1. Introd
ER  -