[Requirement] Find a nice solution to model traces
Traces are a little bit messy right now: modelled partly as constrained (me guilty on this), but also as explicit traces for transitions (me guilty again), and originally a little bit dirtyly in MIRA.
(from redmine: issue id 2883, created on 2017-03-20, closed on 2017-12-01)
- Relations:
- relates #2950 (closed)