Marko SalmelaBooksVirtual design of smart productsA framework for graphical animation of object-oriented models of embedded real-time softwareAuthor data: Open Library