Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn. Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. In The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014. pages 1-4, ACM, 2014. [doi]
Abstract is missing.