Report on advances on model-driven verification of composite b-APIs and on static and dynamic verification (runtime monitoring and testing) techniques for b-APIs consumers.

Summary
Related to Tasks 32 33 34 and 35Note this deliverable has to be checked once more in M36