3 Z. Szatmari B. Izso B. Polgár I. Majzik 2010 Ontology-based assessment of software models and development processes for safety-critical systems Monographs of System Dependability Brunow, Poland 2 1-12 Monographs of System Dependability Dependability of Networks