Designing reliable cyber-physical systemsAleksandrowicz, Gadi; Arbel, Eli; Bloem, Roderick; Devadze, Sergei; Jenihhin, Maksim; Jutman, Artur; Raik, Jaan; Shibin, KonstantinLanguages, design methods, and tools for electronic system design : selected contributions from FDL 20162018 / p. 15-38 : ill https://doi.org/10.1007/978-3-319-62920-9_2 Conference Proceedings at Scopus Article at Scopus Towards personalized elevator travel with smart elevator systemRobal, Tarmo; Reinsalu, Uljana; Leier, MairoBaltic journal of modern computing2020 / p. 675-697 https://doi.org/10.22364/bjmc.2020.8.4.12 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS