High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo Voorneveld, Nielstarkvarateaduse instituut, järeldoktor-teadurAt TalTech: 2019-2023