Return to Article Details Elementary transition systems Download Download PDF