Title: Specification and implementation of distributed real-time systems for embedded applications
Subjects: Real-time data processing, Electronic data processing, Distributed processing, Embedded computer systems, Ada (Computer program language)