Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo. Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. In Azzedine Boukerche, Vinny Cahill, Abdulmotaleb El-Saddik, Georgios K. Theodoropoulos, Ray Walshe, editors, 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2012, Dublin, Ireland, October 25-27, 2012. pages 57-64, IEEE Computer Society, 2012. [doi]
Abstract is missing.