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. 2011.
〈hal-00694969〉 
