Models of the Twistlock Control system