1. Mathworks (2005), http://www.mathworks.com
2. Instruments, N. (2005), http://www.ni.com
3. Stobie, K.: Model Based Testing in Practice at Microsoft. In: Proceedings of MBT 2004 (2004)
4. Fernandez, J., Jard, C., Jeron, T., Viho, C.: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. In: Groote, J.F., Rem, M. (eds.) Special Issue of Industrially Relevant Applications fo Formal Analysis Techniques. Elsevier, Amsterdam (1996)
5. Farchi, E., Hartman, A., Pinter, S.: Using a Model-based Test Generator to Test for Standard Conformance. IBM Systems Journal 41(1), 89–110 (2002)