Model checker ready for the meeting in Newcastle in June 2014.
Merge remote-tracking branch 'origin/acf' into alrd