Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches | IEEE Conference Publication | IEEE Xplore