The ABS language reference is the authoritative guide to what constitutes a legal ABS model, how to specify a Software Product Line, and how to use annotations to model time and resources.
There are some examples that walk through a small but complete ABS model to illustrate various modeling techniques.
We offer tutorials for the ABS language itself, as well as most tools that use ABS as an input language.