Specification of dReDBox layers, operational semantics and cross-layer interfaces (b)

Summary
Report on iterative specification of the dReDBox layers, along with relevant interfaces and performance simulation results and findings. The final specification will feed into the final system architecture specification to be reported in D2.3/2.4/2.5.