ICSE 2003 workshop on software architectures for dependable systems