Publications
Tool presentation:
[pdf]
Tool foundations (TACAS 2002):
[pdf]