application/pdf tacas2000.pdf — 317 KB