Model-Based Testing 2010: Short Abstracts. - Jan Tretmans; Florian Prester; Philipp Helle; Wladimir Schamai (MBT@ETAPS, 2010)