A tool for static and dynamic model extraction and impact analysis [software tool] | IEEE Conference Publication | IEEE Xplore