Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study