Nagy, S., Szabó, R., Vajda, M., & Vörös, A. (2021). Demonstrator for dependable edge-based cyber-physical systems. In Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems. Porto Alegre: SBC.