Fault Localization in Embedded Control System Software