3 books
Real-time Computer-aided Software Engineering
Object-oriented Systems
Programming Embedded Systems with ADA