1. Fowler, M.: Refactoring - Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
2. Mens, T., Demeyer, S., Du Bois, B., Stenten, H., Van Gorp, P.: Refactoring: Current Research and Future Trends. In: Proc. ETAPS 2003 Workshop on Language Descriptions, Tools and Applications (2003)
3. Huber, F., Schätz, B., Einert, G.: Consistent Graphical Specification of Distributed Systems. In: Proc. Formal Methods Europe, pp. 122–141 (1997)
4. Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Zölch, R., Sostawa, B., Stauner, T.: One evaluation of model-based testing and its automation. In: Proc. 27th Intl. Conf. on Software Engineering, pp. 392–401 (2005)
5. Philipps, J., Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S., Scholl, K.: Model-based test case generation for smart cards. In: Proc. 8th Intl. Workshop on Formal Methods for Industrial Critical Systems, pp. 168–192 (2003)