safety-critical applications

4 papers