Case Study: Linear Static Analysis of a Reclaimer Arm by ...