Timing Tolerances in Safety-Critical Software. - Alan Wassyng; Mark Lawford; Xiayong Hu (FM, 2005)

Formal Verification of the Implementability of Timing Requirements. - Xiayong Hu; Mark Lawford; Alan Wassyng (FMICS, 2008)

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. - Stefan Ramdhan; Winnie Trandinh; Sathurshan Arulmohan; Xiayong Hu; Spencer Deevy; Victor Bandur; Vera Pantelic; Mark Lawford; Alan Wassyng (IV, 2024)