Computer-aided analysis and design for spoken dialogue systems based on quantitative simulations | IEEE Journals & Magazine | IEEE Xplore