Tim M. Bull: Comprehension of Safety-Critical Systems Using Domain-Specific Languages. WPC 1996: 108-122