Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. - Giuseppe Bonifacio; Pietro Marmo; Antonio Orazzo; Ida Petrone; Luigi Velardi; Alessio Venticinque (SAFECOMP, 2011)