Chaitanya Belwal, Albert M. K. Cheng, Yuanfeng Wen. Time petri nets for schedulability analysis of the transactional event handlers of P-FRP. In Yookun Cho, Rex E. Gantenbein, Tei-Wei Kuo, Vahid Tarokh, editors, Research in Applied Computation Symposium, RACS '12, San Antonio, TX, USA, October 23-26, 2012. pages 257-262, ACM, 2012. [doi]
Abstract is missing.