A time Petri net approach for finding preruntime schedules in embedded hard real-time systems | IEEE Conference Publication | IEEE Xplore