Testing Complex Safety-Critical Systems in SOA Context | IEEE Conference Publication | IEEE Xplore