add static analysis paper to bibliography