| 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 | Eric Verhulst · Raymond T. Boute · José Miguel Sampaio Faria · Vitaliy Mezhuyev |