Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements | IEEE Conference Publication | IEEE Xplore