R. Alur, C. Courcoubetis, and D. Dill, Model-checking for real-time systems, 1990.

R. Alur, T. A. Henzinger, and H. Wong-toi, Symbolic analysis of hybrid systems, Proceedings of the 36th IEEE Conference on Decision and Control, p.702707, 1997.
DOI : 10.1109/CDC.1997.650717

R. Alur, Timed automata, Proceedings of the 11th International Conference on Computer Aided Verication (CAV'99), volume 1633 of Lecture Notes in Computer Science, 1999.

R. Alur, C. Courcoubetis, and D. Dill, Model-checking in dense realtime, INFORMATION AND COMPUTATION, vol.104, p.234, 1993.

R. Alur and D. L. Dill, Automata for modeling real-time systems, Proceedings of the Seventeenth International Colloquium on Automata, Languages and Programming, p.322335, 1990.
DOI : 10.1007/BFb0032042

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, p.183235, 1994.

R. Alur, L. Fix, and T. A. Henzinger, Event-clock automata: a determinizable class of timed automata, Proceedings of the Sixth Conference on Computer-Aided Verication, number 818 in LNCS, 1994.
DOI : 10.1016/S0304-3975(97)00173-4

R. Alur and T. A. Henzinger, Logics and models of real time: A survey, 1992.
DOI : 10.1007/BFb0031988

R. Alur and T. A. Henzinger, A really temporal logic, Journal of the ACM, vol.41, issue.1, pp.181-203, 1994.
DOI : 10.1145/174644.174651

R. Alur and P. Madhusudan, Decision Problems for Timed Automata: A Survey
DOI : 10.1007/978-3-540-30080-9_1

T. Amnell, E. Fersman, P. Pettersson, W. Yi, and H. Sun, Code synthesis for timed automata, Nordic J. of Computing, p.269300, 2002.

A. Arango, Domain analysis: From art form to engineering discipline, Proceedings of the 5th International Workshop on Software Specication and design (IWSSD), 1985.

B. R. Arnold, A. Van-deursen, and M. Res, An algebraic specication of a language for describing nancial products, ICSE-17 Workshop on Formal Methods Application in Software Engineering, p.613, 1995.

. Rym-ben and . Bachouch, Pilotage opérationnel des structures d'hospitalisation à domicile, Thèse de doctorat de l'université de Toulouse, 2011.

C. Baier and J. Katoen, Principles of Model Checking (Represe ntation and Mind Series), 2008.

R. Barbuti, L. Nicoletta-de-francesco, and . Tesei, Timed automata with non-instantaneous actions, Fundam. Inf, 2001.

R. Bastide, P. Bardy, B. Borrel, C. Boszodi, M. Bouet et al., Plas???O'Soins: A software platform for modeling, planning and monitoring homecare activities, IRBM, vol.35, issue.2, 2014.
DOI : 10.1016/j.irbm.2014.02.008
URL : https://hal.archives-ouvertes.fr/hal-01154181

G. Behrmann, R. David, and K. G. Larsen, A Tutorial on Uppaal, 2004.
DOI : 10.1007/978-3-540-30080-9_7

N. Belala, Formalisation des systémes temps-réel avec durées d'actions. Thése de Magistére de l, 2005.

E. Benzarti, Home health care operations management : Applying the districting approach to home health care, Thése de doctorat de l'Ecole, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00718914

B. Bérard, A. Petit, V. Diekert, and P. Gastin, Characterization of the expressive power of silent transitions in timed automata, Fundam. Inf, vol.36, p.145182, 1998.

P. Gastin, B. Bérard, and A. Petit, On the power of non observable actions in timed automata, Proceedings of the 13th Annual Sympsium on Theoretical Aspects of Computer Science (STACS'96), pp.257-268, 1996.

B. Berthomieu and M. Diaz, Modeling and verication of time dependent systems using time petri nets, IEEE Trans. Softw. Eng, vol.17, p.259273, 1991.

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time petri nets, Proceedings IFIP, p.4146, 1983.

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems , FOR- MATS'06, p.8297, 2006.
DOI : 10.1007/11867340_7

E. Bjarnason, Applab: A laboratory for application languages, Proceedings of the 7th Nordic Workshop on Programming Environment Reasearch (NWPER'96), 1996.

H. Bohnenkamp, P. R. D-'argenio, H. Hermanns, and J. Katoen, MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Transactions on Software Engineering, vol.32, issue.10, p.812830, 2006.
DOI : 10.1109/TSE.2006.104

D. Estéve, J. Guennec, S. Bonhomme, and E. Campo, Prosafe-extended, a telemedicine platform to contribute to medical diagnosis. journal of telemedecine and telecare, 2008.

S. Tripakis and A. Bouajjani, On-the-y symbolic model-checking for real-time systems, Proceedings of the 18th Real-Time SystemsSymposium (RTSS'97, 1997.

M. Bouet, K. Gani, M. Schneider, and F. Toumani, A general model for specifying near periodic recurrent activities - application to home care activities, 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013), p.207211, 2013.
DOI : 10.1109/HealthCom.2013.6720668

P. Bouyer, Modéles et algorithmes pour la vérication des systémes temporisés, Thése de doctorat de l'Ecole Normale Suérieure de Cachan, 2002.

P. Bouyer, Extended Timed Automata and Time Petri Nets, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.6

P. Bouyer, S. Haddad, and P. Alain-reynier, Timed petri nets and timed automata: On the discriminating power of zeno sequences, 2006.

F. D. Bowden, A brief survey and synthesis of the roles of time in petri nets, Mathematical and Computer Modelling, vol.31, issue.10-12, pp.55-68, 2000.
DOI : 10.1016/S0895-7177(00)00072-8

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems
URL : https://hal.archives-ouvertes.fr/hal-00374788

G. Bucci and E. Vicario, Compositional validation of time-critical systems using communicating time Petri nets, IEEE Transactions on Software Engineering, vol.21, issue.12, p.969992, 1995.
DOI : 10.1109/32.489073

. Hannes, M. Burwitz, W. Schlieter, and . Esswein, Modeling clinical pathways -design and application of a domain-specic modeling language, Wirtschaftsinformatik Proceedings, 2013.

B. Bérard and F. Cassez, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, Proc. FORMATS'05, p.211225, 2005.
DOI : 10.1007/11603009_17

F. Cassez and O. Roux, Structural translation from time petri nets to timed automata, Electron. Notes Theor. Comput. Sci, vol.128, issue.6, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00139236

J. R. Anderson and . Larus, Experience with a language for writing coherence protocols, 1997.

T. Clark, P. Sammut, and J. S. Willans, Applied metamodelling: A foundation for language driven development, 2015.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verication of nitestate concurrent systems using temporal logic specications, ACM Trans. Program. Lang. Syst, p.244263, 1986.

K. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

P. Dadam, M. Reichertand, and K. Kuhn, Clinical workows -the killer application for process-oriented information systems ? Business, 2000.

L. Ministère-de and . Santé, Glossaire des termes utilisés dans le cadre des réseaux de santé. Observation nationale des réseaux de santé, 2007.

P. Gastin, V. Diekert, and A. Petit, Removing ?-transitions in timed automata, Proceedings of the 14th Annual Sympsium on Theoretical Aspects of Computer Science (STACS'97, pp.583-594, 1997.

H. Bergman, F. Ducharm, and P. Lebele, Vieillissement et soins, l'urgence d'orir des services de santé intégrés aux familles du xx1ème siècle. revue transdisciplinaire en santé, p.110121, 2001.

C. Elliott, An embedded modeling language approach to interactive 3D and multimedia animation, IEEE Transactions on Software Engineering, vol.25, issue.3, p.291308, 1999.
DOI : 10.1109/32.798320

M. J. Emerson, J. Sztipanovits, and T. Bapty, A mof-based metamodeling environment, Journal of Universal Computer Science, vol.10, issue.10, p.13571382, 2004.

J. Mercadal, F. Latry, and C. Consel, Processing domain-specic modeling languages: A case study in telephony services, Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems, 2006.

M. Fowler, Domain Specic Languages, 2010.

A. Mooij-boudewijn-haverkort-freek-van-den-berg and A. Remke, Performance evaluation for collision prevention based on a domain specic language, Proceedings of the 10th European Workshop, EPEW, on Computer Performance Engineering, pp.276287-102, 2013.

G. Kim, A. Larsen-gerd-behrmann, and . David, A tutorial on uppaal, Formal Methods for the Design of Computer, Communication, and Software Systems, SFM- RT 2004, 2004.

H. Hanisch, Analysis of place/transition nets with timed arcs and its application to batch process control, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, p.282299, 1993.
DOI : 10.1007/3-540-56863-8_52

J. Hatcli, G. T. Leavens, K. Rustan, M. Leino, P. Müller et al., Behavioral interface specication languages, ACM Comput. Surv, vol.44116, issue.3, p.1658, 2012.

T. A. Henzinger, P. Ho, and H. Wong-toi, Hytech: A model checker for hybrid systems, Journal of Software Tools for Technology Transfer, vol.1, p.460463, 1997.

M. Gagnon, R. Herbert, and A. Tourigny, Intégrer les services pour le maintien de l'autonomie des personnesprisma (prog. de recherche sur l'intégration des services pour le maintien de l'autonomie) EDISEM-Canada, 2004.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, pp.60-65, 2001.

K. Subramani, J. I. Rasmussen, and K. G. Larsen, Resource-optimal scheduling using priced timed automata, 10th International Conference, Tools and Algorithms for the Construction and Analysis of Systems, 2004.

J. Salma-chahed, Modelisation et analyse de l'organisation et du fonctionnement des structures d'hospitalisation á domicile, Thése de doctorat de l'Ecole Centrale des Arts et Manufactures, 2008.

N. D. Jones, L. H. Landweber, and Y. E. Lien, Complexity of some problems in Petri nets, Theoretical Computer Science, vol.4, issue.3, pp.277-299, 1977.
DOI : 10.1016/0304-3975(77)90014-7

A. Wynn, C. Jagger, N. Spiers, G. Parker, J. Jones et al., Economic evaluation of hospital at home versus hospital care: cost minimisation analysis of data from randomised controlled trial, British Medical Journal, vol.319, p.15741550, 1999.

A. Kahlaoui, Méthode pour la dénition des languages dédiés basée sur le métamodéle iso/iec24744, Thèse de doctorat de l'école technologie supérieure université du Québec, 2011.

N. Samuel, D. Kamin, and . Hyatt, A special-purpose language for picture-drawing, Proceedings of the Conference on Domain-Specic Languages on Conference on Domain-Specic Languages (DSL), 1997, DSL'97, p.2323, 1997.

M. Dena, D. Bravata-robyn-lewis-nancy, S. Lin, K. Kraft-moira-mckinnon-h-paguntalan-douglas, M. Owens-kathryn et al., Closing the quality gap: A critical analysis of quality improvement strategies. Stanford- UCSF Evidence-based Practice Center, for the Agency for, Healthcare Research and Quality, vol.7, p.210, 2007.

R. B. Kieburtz, L. Mckinney, J. M. Bell, J. Hook, A. Kotov et al., A software engineering experiment in software component generation, Proceedings of IEEE 18th International Conference on Software Engineering, p.542552, 1996.
DOI : 10.1109/ICSE.1996.493448

A. Baek-gyu-kim, O. Ayoub, I. Sokolsky, P. Lee, Y. Jones et al., Safety-assured development of the gpca infusion pump software, Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on, p.155164, 2011.

I. Kitouni, H. Hachichi, K. Bouarroudj, and . Saidouni, Article: Durational actions timed automata: Determinization and expressiveness, International Journal of Applied Information Systems, 2012.

A. David, J. Ladd, and . Christopher-ramming, Two application languages in software production, Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings, VHLLS'94, p.1010, 1994.

F. Latry, Approche langage au développement logiciel : Application au domaine des services de téléphonie sur ip, Thèse de doctorat de l'université de Bordeaux 1, 2007.

A. M. Paulo, A. O. Silveira-neto-dhiego, and R. L. Martins-vinicius-cardoso-garcia-silvio, Meira Leandro Marques do Nascimento, Daniel Leite Viana. A systematic mapping study on domain-specic languages, The Seventh International Conference on Software Engineering Advances ICSEA, 2012.

F. , D. Stanislao, M. Panella, and S. Marchisio, Reducing clinical variations with clinical pathways: do pathways work?, International Journal for Quality in Health Care, 2003.

M. Gogolla and M. Ritchters, A metamodel for ocl99-The Unied Modeling Language, 2003.

R. Mccain, Reusable software component construction - A product-oriented paradigm, 5th Computers in Aerospace Conference, 1985.
DOI : 10.2514/6.1985-5068

A. L. Menezes, C. E. Cirilo, J. L. De-moraes, W. L. De-souza, and A. F. Prado, Using archetypes and domain specic languages on development of ubiquitous applications to pervasive healthcare, 2010.

J. Mercadal, Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire, Thèse de doctorat de l'université de Bordeaux, 2011.

M. Mernik, Dave Wile: Supporting the DSL Spectrum: paper review for the Journal of computing and information technology, 2001.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specic languages, ACM Comput. Surv, 2005.

D. Peter and . Mosses, Formal semantics of programming languages: An overview Electronic Notes in Theoretical Computer Science, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques) Foundations of Visual Modelling Techniques, pp.41-73, 2004.

J. Munnelly and S. Clarke, A domain-specic language for ubiquitous healthcare, Pervasive Computing and Applications Third International Conference on, p.757762, 2008.

J. Munnelly and S. Clarke, ALPH, Proceedings of the 2nd workshop on Aspect-oriented software development , DSAL '07, 2007.
DOI : 10.1145/1255400.1255404

I. Navarrete, J. A. Rubio, J. A. Botía, J. T. Palma, and F. J. Campuzano, Modeling a Risk Detection System for Elderly???s Home-Care with a Network of Timed Automata, Proceedings of the 4th International Conference on Ambient Assisted Living and Home Care, p.8289, 2012.
DOI : 10.1007/978-3-642-35395-6_11

J. Milne and N. , Software construction using components. Doctorat Dissertation, 1980.

S. Ngao, Des langages de modélisation dédiés aux environnements de métamodélisation dédiés, Thèse de doctorat de l'université de Toulouse, 2012.

A. Olivero and S. Yovine, Kronos: a tool for verifying real-time systems -user's guide and reference manual, VERIMAG, p.106, 1993.

J. K. Ousterhout, Scripting: higher level programming for the 21st Century, Computer, vol.31, issue.3, p.312330, 1998.
DOI : 10.1109/2.660187

P. Lasbordes, Livre blanc des systèmes d'information en hospitalisation à domicile, 2009.

M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam, From verication to implementation: A model translation tool and a pacemaker case study, Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.2012-2030, 2012.

S. Panek, S. Engell, and O. Stursberg, Scheduling and planning with timed automata, 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, p.1973, 1978.
DOI : 10.1016/S1570-7946(06)80337-8

. D. Parnas, On the design and development of program families, IEEE Transactions on Software Engineering, vol.1, p.19, 1976.

R. Juha-pekka-tolvanen, S. Pohjonen, and . Kelly, Advanced tooling for domain-specic modeling: Metaedit+, 2007.

J. Peterson, P. Hudak, and C. Elliott, Lambda in Motion: Controlling Robots with Haskell, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL '99, p.91105, 1998.
DOI : 10.1007/3-540-49201-1_7

R. Prieto-díaz, Domain analysis, ACM SIGSOFT Software Engineering Notes, vol.15, issue.2, p.4754, 1990.
DOI : 10.1145/382296.382703

R. Tarricone and A. D. Tsourous, The solid facts: Home care in europe. world health organization, 2008.

O. Rajeb, Proposition d'un cadre méthodologique pour le management de la continuité d'activité : application à la prise en charge à domicile, 2013.

C. Ramchandani, Analysis of asynchronous concurrent systems by timed petri nets, 1974.

L. Révéillère, Approche langage au développement de pilotes de périphérique robustes, Thèse de doctorat de l'université de Rennes 1, 2001.

F. R. Nicoletta-de, L. Barbuti, and . Tesei, Timed automata with non-instantaneous actions, Proceedings of the Concurrency, Specication and Programming Workshop CSP'2000, 2000.

A. Daniel and . Sadilek, Prototyping domain-specic language semantics, Companion to the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications, OOPSLA Companion '08, p.895896, 2008.

R. S. Scowen, Extended bnf a generic base standard, Software Engineering Standards Symposium, 1993.

J. Sifakis, Use of petri nets for performance evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, 1977.

A. Simalatsar and G. Micheli, Medical guidelines reconciling medical software and electronic devices: Imatinib case-study, 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE), p.1924, 2012.
DOI : 10.1109/BIBE.2012.6399700

J. Srba, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, Formal Modeling and Analysis of Timed Systems, p.1532, 2008.
DOI : 10.1007/978-3-540-85778-5_3

S. Y. and S. Tripakis, Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Desing, p.2568, 2001.

. Kasper-osterbye-steen-brahe, Business Process Modeling: Dening Domain Specic Modeling Languages by Use of UML Proles, 2006.

L. Tesei, Specication and verication using timed automata, 2004.

S. Thibault, Domain-specic languages: Conception, implementation and application, Thèse de doctorat de l'université de Rennes 1, 1998.

H. Wong-toi, A. Thomas, P. Henzingr, and . Ho, Hytech: The next generation, Proceedings of the 16th Real-Time SystemsSymposium (RTSS'95), 1995.

L. Amnell and E. Fersman, TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, Formal Modeling and Analysis of Timed Systems, 2003.
DOI : 10.1007/978-3-540-40903-8_6

J. Tolvanen, Domain-specic modeling: How to start dening your own language, 2006.

J. Tolvanen, Domain-specic modeling for full code generation. Model- Driven Development, 2011.

S. Tripakis, Folk theorems on the determinization and minimization of timed automata, Inf. Process. Lett, p.222226, 2006.

J. P. Jerey, S. J. Tsai, Y. Yang, and . Chang, Timing constraint petri nets and their application to schedulability analysis of real-time system specications, IEEE Trans. Softw. Eng, 1995.

F. G. Van-den-berg, A. K. Remke, and B. R. Haverkort, A domain specic language for performance evaluation of medical imaging systems, Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, p.8093, 2014.

F. G. Van-den-berg, A. K. Remke, and H. , A domain specic language for performance evaluation of medical imaging systems, Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014.

G. Van-den-broek, F. Cavallo, and C. Wehrmann, AALIANCE Ambient Assisted Living Roadmap The Netherlands, The Netherlands, 2010.

A. Van-deursen, P. Klint, and J. Visser, Domain-specic languages: An annotated bibliography, SIGPLAN Not, vol.35, issue.6, p.2636, 2000.

M. David and . Weiss, Family-oriented abstraction specication and translation : the fast process, Proceedings of the 11th AnualConference on Computer Assurence (COMPASS), pp.14-22, 1996.

M. Weske, Business Process Management: Concepts, Languages, Architectures
DOI : 10.1007/978-3-642-28616-2

Y. Oded-male and . Abdeddaîm, Job-shop scheduling using timed automata?, 13th International Conference, Computer Aided Verication (CAV'2001), 2001.

S. Zefouni, Aide à la conception de workows personnalisés : application à la prise en charge à domicile, Thèse de doctorat de l'université de Toulouse, 2012.

R. Mangharam, Z. Jiang, and M. Pajic, Cyber-physical modeling of implementable crdiac medical devices. Real time and embded system Lab (mLAB), 2011.