A Symbolic Execution Framework for Algorithm−Level Modelling - Hanna, Z; Melham, T (High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009., 2009)