Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. - Ilmaan Zia; Muhammad Abdul Basit Ur Rahim; Tairan Liu; Zhangying He (QRS Companion, 2023)