Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Survey A survey of timed automata for the development of real-time systems
Fortuna: Model Checking Priced Probabilistic Timed Automata
Compiling Verilog into timed finite state machines
Real Time Systems Design Principles For Distributed Embedded Applications
Verification of timed-arc Petri nets
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
Schedulability Checking in Real-Time Systems using Neural Networks
Limited Preemptive Scheduling for Real-Time Systems. A Survey
Tree Automata Techniques and Applications
Automatic verification of probabilistic concurrent finite state programs
Automatic Testing with Formal Methods
A Comparative Study of Scheduling Algorithms for Multiprogramming in Real-Time Systems
an automata - theoretic approach to automatic program verification ( preliminary report ) .
AJavaProcessorArchitecturefor EmbeddedReal-TimeSystems
Does a Rock Implement Every Finite-State Automaton?
A survey of hard real-time scheduling for multiprocessor systems
Turning clockwise: using UML in the real-time domain
What's decidable about hybrid automata?
Framework for validation, test and analysis of real-time scheduling algorithms and scheduler implementations
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints
A self-steering I/Q receiver array in 45-nm CMOS SOI
a tutorial on uppaal .
Traffic big data prediction and visualization using Fast Incremental Model Trees-Drift Detection (FIMT-DD)
Multicentre comparison of skin hydration in terms of physical-, physiological- and product-dependent parameters by the capacitive method (Corneometer CM 825).
An In-Vitro Study of Retentive Force for Prefabricated Posterior Zirconia Crowns Using Five Different Cements