Верстаки Holzmann: обзор и использование