Model-based testing of real-time embedded systems in the automotive domainJustyna ZanderVyprodáno4,3Pohlídat