1. ADI (2012) Beacon tester. Available at http://www.adi.com/products_be_bss.htm
2. Alligood KT, Sauer TD, Yorke JA (2000) Chaos an introduction to dynamical systems. Springer, New York-Berlin
3. Araujo RF, Delamaro ME (2008) TeTooDS–Testing tool for dynamic systems. In: Tools session–Brazilian software engineering symposium, Brazil. SBC
4. Araujo RF, Durelli VS, Delamaro ME, Maldonado JC (2009) Test data generation from embedded system models: a systematic review. In: Brazilian Workshop on Systematic and Automated Software Testing, Brazil. SBC
5. Blackburn M, Busser R (1996) T-VEC: a tool for developing critical systems. In: Compass’96: Eleventh Annual Conference on Computer Assurance. National Institute of Standards and Technology, Gaithersburg