Exploring the Foundations Assumptions of Linear Static Analysis in Engineering