Exploiting Hardware/Software Interactions For Analyzing Embedded Systems. by Sibin Mohan