DTMC (Explicit)

VIRA-LATA (Explicit)