Leandro Avila da Silva

HWsafety toolbox : a tool for modeling safety-related hardware.

Leandro Avila da Silva, 2014 .

A Model-Based Safety Analysis of Dependencies Across Abstraction Layers

Eike Thaden, Mario Trapp, Markus Schweizer, 2018, SAFECOMP.