"Cool: A Control-Flow Generator for System Analysis."

Volker Braun, Jens Knoop, Dirk Koschützki (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics