_id,title
4409,Games for the verification of timed systems
4415,Compositionality in deterministic real-time embedded systems
4452,Valigator: A verification tool with bound and invariant generation
4509,Two challenges in embedded systems design: Predictability and robustness
4521,Proving non-termination
4524,A hierarchical coordination language for reliable real-time tasks
4527,Bounded asynchrony: Concurrency for modeling cell-cell interactions
4532,Equivalence of labeled Markov chains
4533,Interface theories with component reuse
4534,Reduction of stochastic parity to stochastic mean-payoff games
4546,Logical reliability of interacting real-time tasks
4548,Stochastic limit-average games are in EXPTIME