Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations and Tutorial Abstracts of TestCom/FATES 2007. Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2007