Testing Complex Safety-Critical Systems in SOA Context. - Renato Donini; Stefano Marrone 001; Nicola Mazzocca; Antonio Orazzo; Domenico Papa; Salvatore Venticinque (CISIS, 2008)