Description of programming model for new micro-services

Summary
This deliverable will describe the programming model for new micro-services that makes them safe-by-design.