| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems | 978-1-4419-9735-7 (1-4419-9735-O) | 2011 | Raymond T. Boute · José Miguel Sampaio Faria · Bernhard H.C. Sputh · Vitaliy Mezhuyev |