{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:37Z","timestamp":1725566857223},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_16","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"217-231","source":"Crossref","is-referenced-by-count":1,"title":["A Modelling and Simulation Based Approach to Dependable System Design"],"prefix":"10.1007","author":[{"given":"Miriam","family":"Zia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadaf","family":"Mustafiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Kienzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Journal of Visual Languages & Computing","volume-title":"Domain-Specific Modeling with Visual Languages","year":"2004","unstructured":"Gray, J., Rossi, M., Tolvanen, J.P. (eds.): Domain-Specific Modeling with Visual Languages. Journal of Visual Languages & Computing, vol.\u00a015. Elsevier Science Publishers, Amsterdam (2004)"},{"key":"16_CR2","volume-title":"Winter Simulation Conference","author":"H. Vangheluwe","year":"2004","unstructured":"Vangheluwe, H., de Lara, J.: Domain-specific modelling for analysis and design of traffic networks. In: Ingalls, R., Rossetti, M., Smith, J., Peters, B. (eds.) Winter Simulation Conference, IEEE Computer Society, Los Alamitos (2004)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Pfeifer, H., von Henke, F.W.: Formal modelling and analysis of fault tolerance properties in the time-triggered architecture. In: 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (2004)","DOI":"10.1007\/978-3-540-30138-7_21"},{"key":"16_CR4","unstructured":"Boue, J., Arlat, J., Crouzet, Y., Petillon, P.: Verification of fault tolerance by means of fault injection into VHDL simulation models. In: Contrat Esprit DeVa Project (1996)"},{"key":"16_CR5","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"B.P. Zeigler","year":"1984","unstructured":"Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)"},{"key":"16_CR6","volume-title":"Integrating Discrete Event and Continuous Complex Dynamic Systems","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. In: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2nd edn., Academic Press, London (2000)","edition":"2"},{"key":"16_CR7","unstructured":"Cheon, S., Seo, C., Park, S., Zeigler, B.: Design and implementation of distributed DEVS simulation in a peer to peer network system. In: 2004 Advanced Simulation Technologies Conference, Design, Analysis, and Simulation of Distributed Systems Symposium (2004)"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-1-4757-3554-3_11","volume-title":"Discrete event modeling and simulation: A tapestry of systems and AI-based theories and methodologies","author":"S. Chi","year":"2001","unstructured":"Chi, S., Lee, J.: DEVS-based modeling and simulation for intelligent transportation systems. In: Sarjoughian, H.S., Cellier, F.E. (eds.) Discrete event modeling and simulation: A tapestry of systems and AI-based theories and methodologies, pp. 215\u2013227. Springer, Heidelberg (2001)"},{"key":"16_CR9","unstructured":"Filippi, J., Chiari, F., Bisgambiglia, P.: Using jDEVS for the modeling and simulation of natural complex systems. In: SCS AIS 2002 Conference on Simulation in Industry, vol.\u00a01 (2002)"},{"key":"16_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9884-2","volume-title":"Design of Dependable Computing Systems","author":"J.C. Geffroy","year":"2002","unstructured":"Geffroy, J.C., Motet, G.: Design of Dependable Computing Systems. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"16_CR11","first-page":"43","volume-title":"Annals of Math Studies","author":"J. Neumann von","year":"1956","unstructured":"von Neumann, J.: Probabilistic logics and the synthesis of reliable organisms from unreliable components. In: Shannon, C.E., McCarthy, J. (eds.) Annals of Math Studies, pp. 43\u201398. Princeton University Press, Princeton (1956)"},{"key":"16_CR12","unstructured":"Laprie, J.C.: Dependable computing and fault tolerance: Concepts and terminology. In: Meyer, J.F., Morgan, D.E. (eds.) 15th FTCS (1985)"},{"key":"16_CR13","volume-title":"Dependable Computing and Fault-Tolerant Systems","author":"P.A. Lee","year":"1990","unstructured":"Lee, P.A., Anderson, T.: Fault tolerance - principles and practice. In: Dependable Computing and Fault-Tolerant Systems, 2nd edn., Springer, Heidelberg (1990)","edition":"2"},{"key":"16_CR14","unstructured":"Burns, A., Lister, A.: An architectural framework for timely and reliable distributed information systems (TARDIS): Description and case study. Technical report, University of York (1990)"},{"key":"16_CR15","unstructured":"Huang, D., Sarjoughian, H.: Software and simulation modeling for real-time softwareintensive system. In: Proceedings of the 8th IEEE International Symposium on DS-RT (2004)"},{"key":"16_CR16","unstructured":"Bolduc, J.S., Vangheluwe, H.L.: The modelling and simulation package pythonDEVS for classical hierarchical DEVS. Technical report, McGill University (2001)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:48:18Z","timestamp":1605642498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11557432_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}