Scheduling analysis from architectural models of embedded multi-processor systems.