Generation of hazard relation diagrams: formalization and tool support

Bastian Tenbergen, Thorsten Weyer. Generation of hazard relation diagrams: formalization and tool support. Software and Systems Modeling, 20(1):175-210, 2021. [doi]

Abstract

Abstract is missing.