A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces
['Kouichi Ono', 'Manabu Toyota', 'Ryo Kawahara', 'Yoshifumi Sakamoto', 'Takeo Nakada', 'Naoaki Fukuoka']
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces