Automated consistency and completeness checking of testing models for interactive systemsAmit ParadkarTim Klinger2004COMPSAC 2004