Text this: Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components