Без заголовка
Немного не в тему, но пока искал этого Garlan , нашел вот это http://www.slideshare.net/ivanruchkin/architectural-abstractions-for-hybrid-programs
и это http://www.cs.cmu.edu/~iruchkin/docs/ruchkin15-architectural.pdf , еще не читал, там про Cyber-Physical Systems.