Giorgio C. Buttazzo (Ed.):
EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings.
ACM 2004, ISBN 1-58113-860-1
A. Richard Newton
: Great works for the 21st century: a critical role for the modern research university.
: Smart furniture: a platform for context-aware embedded ubiquitous applications.
Alan C. Kay
: "The computer revolution", "computer science", and "software engineering" haven't happened yet.
Formal methods I
Formal methods II