Added a paper on verification of medical CPSs

We have added a new article in the publications section regarding the use of the stable release of Ariadne for the verification of medical cyber-physical systems.