System for Automated Validation of Embedded Software in Multiple Operating Configurations. - Sridevi Lingamarla; Gautam B. Singh; John Limburg; Mary Watson; Gary Edwards; Scott Gobrogge (ASE, 1999)