Extension of UML Sequence Diagrams for Real-Time Systems

Timing Analysis of UML Activity Diagrams

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Developing Sequence Diagrams in UML

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling

Modeling Complex Real-Time and Embedded Systems—The UML and DORIS Combination

Real-Time Systems

TASS: Timing Analyzer of Scenario-Based Specifications

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

Timed sequence diagrams and tool-based analysis: a case study

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Timing analysis of UML sequence diagrams

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Checking component-based embedded software designs for scenario-based timing specifications

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing

Timing analysis of scenario-based specifications using linear programming

Software Testing, Verification & Reliability