Added another holzmann example
Added a README for the holzmann examples