Model Checking Industrial Robot Systems. - Markus Weißmann; Stefan Bedenk; Christian Buckl; Alois C. Knoll (SPIN, 2011)