MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. - András Vörös 001; Márton Búr; István Ráth; Ákos Horváth 001; Zoltán Micskei; László Balogh; Bálint Hegyi; Benedek Horváth; Zsolt Mázló; Dániel Varró (NFM, 2018)