Publications 1 publication Page 1 of 1 High-level rigorous template for analysing safety properties of self-driving vehicle systems Fahad, Abduallah Alotaibi, Thai Son Hoang, & Michael Butler , 2022 Type: conference