Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability