1. DTRON: a tool for distributed model-based testing of time critical applications
2. A survey on model-based testing approaches
3. John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat and Marcel Verhoef. 2005. Validated Designs For Object-oriented Systems. Springer-Verlag TELOS Santa Clara CA USA. John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat and Marcel Verhoef. 2005. Validated Designs For Object-oriented Systems. Springer-Verlag TELOS Santa Clara CA USA.
4. Multi-paradigmatic Model-Based Testing
5. Hans-Gerhard Gross. 2005. Component-Based Software Testing with UML. Springer Berlin Heidelberg. Hans-Gerhard Gross. 2005. Component-Based Software Testing with UML. Springer Berlin Heidelberg.