A formal semantics of timed activity diagrams and its PROMELA translation | IEEE Conference Publication | IEEE Xplore