DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est FPGA-based 16-bit 20 MHz device for the inductive measurement of electrical bio-impedancePriidel, Eiko; Pesti, Ksenija; Min, Mart; Ojarand, Jaan; Märtens, Olev2021 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2021), May 17-20, 2021 : proceedings2021 / 5 p. : ill https://doi.org/10.1109/I2MTC50364.2021.9460073 Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processesShokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Walden, MarinaRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings2020 / p. 186-202 https://doi.org/10.1007/978-3-030-48077-6_13 Conference proceedings at Scopus Article at Scopus A method of driver distraction evaluation using fuzzy logic : phone usage as a driver's secondary activity : case studyAksjonov, Andrei; Nedoma, Pavel; Vodovozov, Valery; Petlenkov, Eduard; Herrmann, MartinProceedings : IACAT 2017 : XXVI International Conference on Information, Communication and Automation Technologies, October 26-28, 2017, Sarajevo, Bosnia-Herzegovina2017 / 6 p. : ill https://doi.org/10.1109/ICAT.2017.8171599