Combining conceptual modelling and formal methods to design control systemsVain, Jüri; Hooman, J.Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 109-118

Early design and simulation toolkit for mobile robot platformsSell, Raivo; Petritšenko, AndresInternational journal of product development2013 / p. 168-192 https://doi.org/10.1504/IJPD.2013.053499 Journal metrics at Scopus Article at Scopus