checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design | IEEE Journals & Magazine | IEEE Xplore