Time petri nets for schedulability analysis of the transactional event handlers of P-FRP.

Chaitanya BelwalAlbert M. K. ChengYuanfeng Wen
Published in: RACS (2012)