High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo Rivas Gadda, Exequiel Matíastarkvarateaduse instituut, vanemteadurAt TalTech: 2021-