Archmeds: An Infrastructure for Dependable Service-Oriented Architectures | IEEE Conference Publication | IEEE Xplore