Volker Braun Jens Knoop Dirk Koschützki Cool: A Control-Flow Generator for System Analysis. 306-309 1998 conf/cc/1998 CC db/conf/cc/cc98.html#BraunKK98 http://dx.doi.org/10.1007/BFb0026442