Petri Net-Based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation | IEEE Journals & Magazine | IEEE Xplore