4^th International Workshop on Dependable Embedded Systems
http://wdes07.di.fc.ul.pt
October 9, 2007, Beijing, China
in conjunction with the 26^th Symposium on Reliable Distributed Systems (SRDS 2007)