Formal semantics of models for computational engineering: a case study on dynamic fault trees | IEEE Conference Publication | IEEE Xplore