Added an article on model checking dynamical systems

We have added a new article from Pieter Collins in the publications section, discussing the origins of Ariadne and some of its design choices.