Most of these are from [1].

Statecharts

A state diagram is a type of diagram used in computer science and related fields to describe the behavior of systems.

DEVS

DEVS (Discrete Event System Specification) is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence of pertinent events input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a piecewise constant state trajectory. See [2] for more information.

[1] Modelling of Software-Intensive Systems. Prof. Dr. Hans Vangheluwe. 2020
[2] DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems. Yentl Van Tendeloo and Hans Vangheluwe. 2020