Toward specifying multimedia requirements using a new time petri net model - Abdelli, Abdelkrim (Array, 2007)