Gordon Fraser, Martin Weiglhofer, Franz Wotawa. Using Observer Automata to Select Test Cases for Test Purposes. In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008. pages 709-714, Knowledge Systems Institute Graduate School, 2008.