Petri Net-based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation 태그: International Journals