Timing-analyzable Algorithmic Skeletons (TAS) for embeded hard real-time systems