Title: Formal Modeling and Analysis of Timed Systems
            
                Lecture Notes in Computer Science
Subjects: Logic design, Information theory, Computer system performance, Computer science, Software engineering, Computer simulation, Congresses, Temporal automata, Formal methods (Computer science)