{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:33:09Z","timestamp":1725517989395},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855705"},{"type":"electronic","value":"9783540855712"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85571-2_7","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T07:58:47Z","timestamp":1219651127000},"page":"150-174","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services"],"prefix":"10.1007","author":[{"given":"Gergely","family":"Pint\u00e9r","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Micskei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"K\u00f6vi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"\u00c9gel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imre","family":"Kocsis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Huszerl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Object Management Group: UML Profile for Schedulability, Performance and Time (January 2005)"},{"key":"7_CR2","unstructured":"Service Availability Forum: Application Interface Specification (2007), \n                    \n                      http:\/\/www.saforum.org"},{"key":"7_CR3","unstructured":"Object Management Group: Unified Modeling Language: Superstructure (2007)"},{"key":"7_CR4","unstructured":"Radimirsch, M., Matthiesen, E.V., Huszerl, G., Reitenspiess, M., Ka\u00e2niche, M., Svinnset, I.E., Casimiro, A., Falai, L.: Use Case Scenarios and Preliminary Reference Model (Deliverable of the Hidenets Project \u2013 D-1.1) (2006)"},{"key":"7_CR5","unstructured":"Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics (2006)"},{"key":"7_CR6","unstructured":"Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) (2007)"},{"key":"7_CR7","unstructured":"K\u00f6vi, A., Pataricza, A., R\u00e1kosi, B., Pint\u00e9r, G., Micskei, Z.: UML Profile and Design Patterns Library (Deliverable of the Hidenets Project \u2013 D-5.1)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Moniz, H., Neves, N.F., Correia, M., Casimiro, A., Verissimo, P.: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. In: PRDC 2007: 13th IEEE Pacific Rim International Symposium on Dependable Computing, Melbourne, Australia (2007)","DOI":"10.1109\/PRDC.2007.33"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Courtes, L., Killijian, M.O., Powell, D.: Security Rationale for a Cooperative Backup Service for Mobile Devices. In: 3rd Latin-American Symposium on Dependable Computing (LADC), Morelia, Mexico (2007)","DOI":"10.1007\/978-3-540-75294-3_16"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Matthiesen, E.V., Schwefel, H.P., Renier, T.J.: A Selection Metric for Backup Group Creation in Inter-Vehicular Networks. In: IST Mobile and Wireless Communications Summit, Budapest, Hungary (2007)","DOI":"10.1109\/ISTMWC.2007.4299301"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Ceccarelli, A., Falai, L.: A Self-Aware Clock for Pervasive Computing Systems. In: 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2007) (2007)","DOI":"10.1109\/PDP.2007.13"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Hansen, A.F., Lysne, O., Cicic, T., Gjessing, S.: Fast Proactive Recovery from Concurrent Failures. In: IEEE International Conference on Communications (ICC 2007) (2007)","DOI":"10.1109\/ICC.2007.28"},{"key":"7_CR13","unstructured":"Object Management Group: MDA Guide. OMG (June 2003)"},{"key":"7_CR14","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems","author":"B.P. Douglass","year":"2002","unstructured":"Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Boston (2002)"},{"key":"7_CR15","unstructured":"Object Management Group: UML Testing Profile (2005)"},{"key":"7_CR16","unstructured":"de Bruin, I.: Specification of the HIDENETS Laboratory Set-up Scenario and Components (Deliverable of the Hidenets Project \u2013 D-6.1)"},{"key":"7_CR17","volume-title":"ISPDC 2007: Proc. of the Sixth Int. Symp. on Parallel and Distributed Computing","author":"H. Waeselynck","year":"2007","unstructured":"Waeselynck, H., Micskei, Z., Nguyen, M.D., Riviere, N.: Mobile Systems from a Validation Perspective: a Case Study. In: ISPDC 2007: Proc. of the Sixth Int. Symp. on Parallel and Distributed Computing, Hagenberg, Austria, July 5\u20138, 2007, IEEE, Los Alamitos (2007)"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"7_CR19","unstructured":"Pataricza, A.: Model Based Design of Dependability. Dissertation for the Degree of Doctor of Sciences from the Hungarian Academy of Sciences (2006)"},{"key":"7_CR20","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, San Diego (1993)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85571-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T03:12:53Z","timestamp":1551582773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85571-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540855705","9783540855712"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85571-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}