Tutorial - Linear static analysis of a crane by lmap | Si...