This paper deals with further development of the timing-diagram based specification
language destined for application in modular modeling of industrial automation systems …

This paper deals with further development of a graphical specification language resembling
timing-diagrams and allowing specification of partially ordered events in input and output …

This article investigates the formal verification of MFERT models, an industry-approved
graphical notation and methodology for the specification of manufacturing systems. We …

This article describes our approach for the specification and verification of production
automation systems with real-time properties. We focus on the graphical MFERT notation …

In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …

A method for the automatic refinement of single-task timed automaton specifications into
microcontroller assembly code is proposed. The outputs of the refinement are an assembly …

Constraint Diagrams visually formalise real-time requirements. In this work it is shown that
implementable Duration Calculus requirements developed in the ESPRIT Basic Research …

A new tool for integrating formal methods, particularly model checking, in the development
process of component-based real-time systems specified in UML is proposed. The …

Preparation and verification of the timing diagrams for the modern complex facilities with
diversified timing systems is a difficult task. A mathematical method for convenient editing …

UML (OMG, 2011) is considered as a contemporary standard in information systems
development. Being a graphical modeling language it offers a family of diagrams that may …