One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engi

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlyi

Until the late 1980s, information processing was associated with large mainframe computers and huge tape drives. During the 1990s, this trend shifted toward inf

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems