Pawel Gburzynski Bozena Kaminska Testing Real-Time Properties of Embedded Systems. 179-185 2008 ESA conf/csreaESA/2008 db/conf/csreaESA/csreaESA2008.html#GburzynskiK08