Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format