Formalization of Software Risk Assessment Results in Legal Metrology Based on ISO/IEC 18045 Vulnerability Analysis - Marko Esche; Felix Salwiczek; Federico Grasso Toro (Annals of computer science and information systems)