High-assurance software laboratory. Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo 1969 Smart analytics. Health technologies, Valorisation of environmental resources. Mazina-Šinkar, Jekaterina 1986