Translating TPAL Specifications into Timed-Arc Petri Nets | Publicación