publication venue for Mapping of improvement models as a risk reduction strategy: a theoretical comparison for the aerospace industry. 10:283-295. 2014 Approximate Verification in an Open Source World. 4:87-105. 2008