This work introduces an approach to adding timing information to UML diagrams for modeling embedded systems. In order to perform automated formal analysis of these UML diagrams with timing information ...

The paper is devoted to the analysis of automatic and automated decomposition methods for their possible use in constructing methods for identifying the structure of dynamic weakly formalizable ...