Philipp Graf Klaus D. Müller-Glaser Clemens Reichmann Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models. 130-138 2007 conf/rsp/2007 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2007.30 db/conf/rsp/rsp2007.html#GrafMR07