Introduction to the special issue on interface issues and designs for safety-critical interactive systems

Software is increasingly being used to control safety-critical systems. Much research since Levesons fundamental article Software Safety: Why, What, and How (ACM Computing Surveys 18, 2 (1986), pp....