Bornot, SebastienSifakis, Joseph2013-03-142013-03-142013-03-14200010.1006/inco.2000.2999https://infoscience.epfl.ch/handle/20.500.14299/90361A sub-class of timed automata known as timed automata with deadlines was presented. Parallel composition and other operators were defined according to 'orthogonality' principal, for timed process algebras and hybrid automata. The compositional description methods that are based on 'flexible' composition rules that relax urgency constraints to preserve time reactivity was also studied.AlgebraComputer simulationConstraint theoryMathematical operatorsPetri netsSemanticstext::conference output::conference proceedings::conference paper