From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems.