SHIFT architecture

Summary
This deliverable will document the technical requirements and architecture formal specification, describing the overall system components with their interfaces.