Twin workshops on architecting dependable systems (WADS 2004) | IEEE Conference Publication | IEEE Xplore