Symbolic and Timed Testing. - Sabrina von Styp (AlgoSyn, 2010)

A Conformance Testing Relation for Symbolic Timed Automata. - Sabrina von Styp; Henrik C. Bohnenkamp; Julien Schmaltz (FORMATS, 2010)

Symbolic Model-Based Testing for Industrial Automation Software. - Sabrina von Styp; Liyong Yu (Haifa Verification Conference, 2013)