Title: Design of embedded real-time computing systems
Subjects: Embedded computer systems, Programming, Z (Computer program language), Software engineering, System design