Summary of a Workshop on Software Certification and Dependability