Văn bản này: Summary of a workshop on software certification and dependability /