Text this: Nový prístup k stanoveniu spoľahlivosti softvéru riadiacich systémov = New Approach to Reliability Assessment of Control Systems Software :