This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, Sep...