Simon Nagy, Richárd Szabó, Máté Vajda, and András Vörös. 2021. Demonstrator for dependable edge-based cyber-physical systems. In Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems, novembro 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.