A modeling method for performance evaluation of embedded software by eliminating execution tracesKouichi OnoRyo Kawaharaet al.2011Computer Software