The first step in developing safe and functioning systems is the specification of the intended
behavior. The development, validation, and verification depend on clear and unambiguous …

The comprehensive, understandable and effective formal specification of complex systems
is often difficult, especially for reactive and interactive systems like web services or …

Digital Twins are a trend topic in the industry today to either manage runtime information or
forecast properties of devices and products. The techniques for Digitial Twins are already …