A Compositional Approach to Verifying Modular Robotic Systems Artefacts produced during the compositional verification of a search and rescue case study. Paper submitted to SEFM 2020.