Please consult the following PDF file that describes the Bali language and its tools:
bali.pdf
ATS Home Page
Copyright © Software Systems Generator Research Group. All rights reserved. Revised: January 04, 2005.