ICSE 2003 workshop on software architectures for dependable systems | IEEE Conference Publication | IEEE Xplore