.
vera und dtmc