Valentin Chimisliu, Franz Wotawa. Abstracting timing information in UML state charts via temporal ordering and LOTOS. In Antonia Bertolino, Howard Foster, J. Jenny Li, editors, Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. pages 8-14, ACM, 2011. [doi]
Abstract is missing.