"CAST - A Task-Level Concurrency Analysis Tool."

Sander Stuijk, Twan Basten, Jan Ypma (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics