Renato Donini Stefano Marrone Nicola Mazzocca Antonio Orazzo Domenico Papa Salvatore Venticinque Testing Complex Safety-Critical Systems in SOA Context. 87-93 2008 CISIS http://dx.doi.org/10.1109/CISIS.2008.78 db/conf/cisis/cisis2008.html#DoniniMMOPV08