domain-specific transition systems