Omer Landry Nguena Timo, Antoine Rollet. A zone-based reachability analysis of variable driven timed automata..
3rd International Conference on Advances in System Testing and Validation Lifecycle VALID 2011, Oct 2011, Barcelona, Spain.
⟨hal-00694969⟩