Dan DaCosta Christopher Dahn Spiros Mancoridis Vassilis Prevelakis Demonstration of COSAK static analysis tools. 7-9 2003 conf/discex/2003 DISCEX (2) http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194898 db/conf/discex/discex2003.html#DaCostaDMP03