Layered design of parallel systems by