Holzmann machines