Nivoliln, Xavier Yovine, Sergio Sifakis, Joseph Compiling Real-Time Specifications Into Extended Automata - 794-804 p. Subjects--Topical Terms: Compilation Into Extended AutomataSymbolic Formal Verification