Comprehension of safety-critical systems using domain-specific languages | IEEE Conference Publication | IEEE Xplore