Abstract: We present a stochastically timed extension of UML statechart diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular ...

Abstract: This paper focuses on a novel Harel statechart modeling language adapted to automation development in a Research and Development (R&D) environment. R&D facilities are characterized by a ...