Independent validation of software safety requirements for systems of systems. - Stephen B. Driskell; Judy Murphy; James Bret Michael; Man-tak Shing (SoSE, 2010)