This folder contains the SPARK version of the software layer development
& assurance artefacts for the Mission Management subsystem