Examples from lecture 12
Merge branch 'master' of https://github.com/ulysses4ever/certif-sw-2014