28 June 2023 VeriFast IA Integrators Guide, Mechanical – Ver 1.2 – January 2024 VeriFast IA Integrators Guide for Mechanical Design