Return to Article Details Situation specifications of hybrid reactive system simulation models Download Download PDF