Nagy, S., Szabó, R., Vajda, M., & Vörös, A. 2021 Nov 22. Demonstrator for dependable edge-based cyber-physical systems. Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :