This is just here as a test because I lose it
Term information
definition
(STA) State Automata with single event transition triggering, stochastic clock structure and probabilisitic transition function.