Formal model, language and tools for design agent's scenarios in call center systems | IEEE Conference Publication | IEEE Xplore