NOESIS: Reliability analysis for safety-critical applications