Tutorial - Linear static analysis of a crane by Faceit | ...