Cool: a control flow generator for system analysis

by Volker Braun, Jens Knoop, Dirk Koschützki · 1998