No FAQ available that match "hybrid transition systems"