Software verification of the Solar Orbiter's EPD

The University of Alcala, who led the development of the EPD system, have used the Rapita Verification Suite to power their coverage and timing analysis testing.