Tutorial - Linear static analysis of a crane by hait_tla ...