# Automatically generated by ../updatedModels/
CHAPTER=fsm
EXAMPLE_MODELS = \
	ABROFlat_SA.xml \
	ABROFlat_SA_BruteForce.xml \
	ABROHierarchicalTermination.xml \
	CapriciousThermostat.xml \
	ExtendedFSM.xml \
	FinalStates.xml \
	FinalStatesImmediate.xml \
	FinalStatesReset.xml \
	FinalStatesResetDefault.xml \
	FinalStatesSR.xml \
	FixedPointFSM.xml \
	HierarchicalFSM.xml \
	HierarchicalFSM_Flattened.xml \
	Hysteresis.xml \
	HysteresisWithDefault.xml \

include ../chapter.mk
