Fault Localization In Embedded Control System Software