• Model-based analysis of secure and patient-dependent pacemaker monitoring systemTsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, HayretdinBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. 77-91 https://doi.org/10.1007/978-3-030-64991-3_6 https://www.scopus.com/sourceid/21100220348 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098261411&origin=inward&txGid=6698489899bbdbd4b8cf467742c26840