Validating a high level behavioral representation language (HERBAL)