1 special issue for “Safety-critical systems”