%0 Journal Article
%B Science of Computer Programming
%D 2015
%G eng
%P 277–299
%T Comparing model checkers for timed UML activity diagrams
%V 111