The work described in this paper is concerned with a model-driven development of
distributed real-time systems, like cyber-physical systems. A challenge in such systems' …

Emergency department (ED) is one of the most complex systems, due to its unstable
environment and the stochastic characteristics of patient flows, pathologies, and limited …

In the present era, IT-enabled business applications are very much observed to be
pervasive and felt to be essential to manage an organisation. An organisation needs to …

Emergency rooms are one of the most complex and vital areas of healthcare institutions,
which have presented overcrowding, long waiting, and length of stay times, affecting the …

Contemporary digital world is based on information and communication technologies for
remote access to distributed resources located in different nodes of the global network …

Our everyday life depends on many complex critical infrastructures, ranging from water
treatment facilities to power plants. At the same time, technological advances cause more …

In order to fight against the state space explosion problem in highly populated discrete event
systems, some relaxation techniques are commonly used. In these approximation …

The current formal verification practice focuses on functionality and does not consider
verification of the non-functional attributes. In this study, we propose a method in which non …

Forward modelling is applied to simulate the ground penetrating radar (GPR) detection
environment, and a modified morphological component analysis (MCA) algorithm is applied …

Modelling business processes as stochastic processes has a long tradition. Most models
focus on the dynamics of the complete state of the process. In this article we propose a new …