ReviewA modeling method for performance evaluation of embedded software by eliminating execution traces