Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability | IEEE Conference Publication | IEEE Xplore