{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:40:06Z","timestamp":1746416406944,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_41","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T04:01:44Z","timestamp":1412913704000},"page":"494-501","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Analysis of Home Care Plans"],"prefix":"10.1007","author":[{"given":"Kahina","family":"Gani","sequence":"first","affiliation":[]},{"given":"Marinette","family":"Bouet","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Farouk","family":"Toumani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A theory of timed automata. TCS (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"41_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.: Logics and models of real time: A survey. In: de Bakker, J.W., Huizing, C., de Roever, W.-P., Rozenberg, G. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Petit, A., Diekert, V., Gastin, P.: Characterization of the expressive power of silent transitions in timed automata. Fundam. Inf. (1998)","DOI":"10.3233\/FI-1998-36233"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Bouet, M., Gani, K., Schneider, M., Toumani, F.: A general model for specifying near periodic recurrent activities - application to home care activities. In: e-Health Networking, Applications Services (Healthcom) (2013)","DOI":"10.1109\/HealthCom.2013.6720668"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Dadam, P., Reichertand, M., Kuhn, K.: Clinical workflows - the killer application for process-oriented information systems? Business (2000)","DOI":"10.1007\/978-1-4471-0761-3_3"},{"key":"41_CR8","unstructured":"Gani, K., Bouet, M., Schneider, M., Toumani, F.: Modeling home care plan. Rapport de recherche RR-14-02, Limos, Clermont Ferrand, France (2014)"},{"key":"41_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-44585-4_46","volume-title":"Computer Aided Verification","author":"Y. Abdedda\u00efm","year":"2001","unstructured":"Abdedda\u00efm, Y., Maler, O.: Job-shop scheduling using timed automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 478\u2013492. Springer, Heidelberg (2001)"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Menezes, A.L., Cirilo, C.E., de Moraes, J.L.C., de Souza, W.L., do Prado, A.F.: Using archetypes and domain specific languages on development of ubiquitous applications to pervasive healthcare. IEEE Computer Society (2010)","DOI":"10.1109\/CBMS.2010.6042677"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Paneka, S., Engella, S., Strsberg, O.: Scheduling and planning with timed automata. ISPSE, Elsevier (2006)","DOI":"10.1016\/S1570-7946(06)80337-8"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T02:58:34Z","timestamp":1746413914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}