Author: Gerald J. Holzmann
Born: 1951