Pietrantuono, Roberto (2009) RELIABILITY-ORIENTED VERIFICATION OF MISSION-CRITICAL SOFTWARE SYSTEMS. [Tesi di dottorato] (Inedito)