Lightkone (01/2017-12/2019)Last updated on Oct 18, 2020Go to Project Site Lightkone logoH2020 LightkoneJosé ProençaSenior ResearcherJosé Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.RelatedVALU3S (2020-now)