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