A visual framework for formal systems development using interval temporal logic. - Arun Chakrapani Rao (2002)

Systems modelling of a driver information system - automotive industry case study. - Arun Chakrapani Rao; Gunwant Dhadyalla; R. Peter Jones; Ross McMurran (SoSE, 2006)

More Automated Formal Methods?! If so, why, where & how? - Arun Chakrapani Rao (AFM@NFM, 2017)