K. Godary, D. Andreu, G. Souquet, D. Guiraud, D. Andreu et al., Dispositif de répartition de courant entre des cathodes d'une électrode multipolaire, notamment d'un implant, Patent Number FR0409351 2004-09-0. [3] P.M. Merlin, A study of the recoverability of omputing systems Time Petri Nets Analysis with TINA Modeling and verification of time dependent systems using time Petri nets Temporal Bounds for TTA: Validation, Sliding Time Interval based MAC Protocol and its Temporal Validation 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems IEEE transactions on software engineering IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), pp.123-124, 1974.

]. K. Larsen, P. Pettersson, W. Yi, R. Alur, T. Henzinger et al., Parametric real-time reasoning Parametric analysis of computer systems Durations,Parametric Model Checking in timed Automata with Presburger Arithmetic [13] V. Bruyère and JF. Raskin. Real-Time Model-Checking: Parameters Everywhere Linear parametric model checking of timed automata AT Sava, Sur la synthèse de la commande des systèmes à évènements discrets temporisés [16] F. Cassez and OH. Roux, Structural translation from Time Petri Nets to Timed Automata, The journal of Systems and Software A zone-based method for computing the state space of a time Petri net Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte Roméo: A Tool for Analyzing Time Petri Nets Analysis, Yovine, Symbolic model checking for real time systems. Information and Computation Journal of Software Tools for Technology Transfer Proceedings of the 25th Annual Symposium on Theory of Computing Algebraic Methodology and Software Technology Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS'03), LNCS 2607 Formal Modeling and Analysis of Timed Systems (FORMAT'03) 6ieme Colloque Francophone sur la Modélisation des Systèmes RéactifsMSR'07) 17th International Conference on Computer Aided Verification (CAV'05)23] T. Cormen, C. Leiserson, R. Rivest and C. Stein. Introduction à l'algorithmique. Dunod, Collection Sciences Sup, pp.193-244134, 1982.