Guided test generation for isolation and detection of embedded trojans in ics