FADAlib: an open source C++ library for fuzzy array dataflow analysis. - Marouane Belaoucha; Denis Barthou; Adrien Eliche; Sid Ahmed Ali Touati (ICCS, 2010)