{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:16:57Z","timestamp":1755217017632,"version":"3.43.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Flexible Manufacturing Systems"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008026017515","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:45:23Z","timestamp":1040543123000},"page":"267-300","source":"Crossref","is-referenced-by-count":1,"title":["On the Dependability Design of Manufacturing Information Systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Ant\u00f3nio Rocha","family":"Quintas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Ant\u00f3nio","family":"Faria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"181259_CR1","first-page":"345","volume":"7","author":"J. Arlat","year":"1988","unstructured":"Arlat, J., \u201cM\u00e9thodes et Outils pour \u00c9valuation de la S\u00fbret\u00e9 de Fonctionnement des Syst\u00e8mes Informatiques Tol\u00e9rant les Fautes,\u201d Technique et Science Informatiques, Vol. 7, No. 4, pp. 345-357 (1988).","journal-title":"Technique et Science Informatiques"},{"issue":"5","key":"181259_CR2","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/PROC.1986.13527","volume":"74","author":"A. Avizienis","year":"1986","unstructured":"Avizienis, A. and Laprie, J.C., \u201cDependable Computing: From Concepts to Design Diversity,\u201d Proceedings of the IEEE, Vol. 74, No. 5, pp. 629-638 (May 1986).","journal-title":"Proceedings of the IEEE"},{"key":"181259_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7728-7","volume-title":"Reliability Evaluation of Engineering Systems: Concepts and Techniques","author":"R. Billinton","year":"1983","unstructured":"Billinton, R. and Allan, R., Reliability Evaluation of Engineering Systems: Concepts and Techniques, Longman Scientific and Technical, Essex, UK (1983)."},{"key":"181259_CR4","unstructured":"Bouissou, M., \u201cMod\u00e9lisation des Connaissances et Traitements Fiabilistes: Pr\u00e9sentation die Language Figaro et des Outils Associ\u00e9s,\u201d Actes du 3\u00e8me Colloque Annuel du Club Fiabex, Paris, France, pp. 9-22 (December 1990)."},{"key":"181259_CR5","unstructured":"Carrasco, J. and Figueras, J., \u201cMetfac: Design and Implementation of Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems,\u201d Proceedings of the 16th International Symposium on Fault-Tolerant Computing, Vienna, Austria, pp. 424-429 (1986)."},{"issue":"4","key":"181259_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1049\/sej.1993.0028","volume":"8","author":"S. Clarke","year":"1993","unstructured":"Clarke, S. and McDermid, J., \u201cSoftware Fault Trees and Weakest Preconditions: a Comparasion and Analysis,\u201d Software Engineering Journal, Vol. 8, No. 4, pp. 225-236 (July 1993).","journal-title":"Software Engineering Journal"},{"key":"181259_CR7","unstructured":"Clyde, S., \u201cAn Initial Theoretical Foundation for Object Oriented Systems Analysis and Design,\u201d Ph.D. thesis, Brigham Young University, Computer Science Department (1993)."},{"key":"181259_CR8","volume-title":"Object Oriented Analysis","author":"P. Coad","year":"1989","unstructured":"Coad, P. and Yourdon, E., Object Oriented Analysis, Prentice-Hall, Englewood Cliffs, NJ (1989)."},{"key":"181259_CR9","unstructured":"Costes, A., Doucet, J., Landrault, C., and Laprie, J., \u201cSURF: A Program for Dependability Evaluation of Complex Fault-Tolerant Computing Systems,\u201d Proceedings of the 11th International Symposium on Fault Tolerant Computing, Portland, ME, pp. 72-78 (1981)."},{"key":"181259_CR10","volume-title":"The Theory of Stochastic Processes","author":"D.R. Cox","year":"1965","unstructured":"Cox, D.R. and Miller, H.D., The Theory of Stochastic Processes, Chapman and Hall, London, UK (1965)."},{"issue":"1","key":"181259_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/64.193056","volume":"8","author":"B. Czejdo","year":"1993","unstructured":"Czejdo, B., \u201cIntegrating Sets, Rules and Data in an Object-Oriented Environment,\u201d IEEE Expert, Vol. 8, No. 1, pp. 59-66 (February 1993).","journal-title":"IEEE Expert"},{"key":"181259_CR12","volume-title":"Application of Petri Nets in Manufacturing Systems","author":"A. Desrochers","year":"1995","unstructured":"Desrochers, A. and Al-Jaar, R., Application of Petri Nets in Manufacturing Systems, IEEE Press, NewYork (1995)."},{"issue":"5","key":"181259_CR13","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/0026-2714(78)90969-1","volume":"17","author":"B. Dhillon","year":"1978","unstructured":"Dhillon, B. and Singh, C., \u201cBibliography of Literature on Fault Trees,\u201d Microelectronics Reliability, Vol. 17, No. 5, pp. 501-503 (1978).","journal-title":"Microelectronics Reliability"},{"key":"181259_CR14","volume-title":"Dependability Modeling, Analysis and Evaluation of Industrial Information Systems","author":"J.A. Faria","year":"1996","unstructured":"Faria, J.A., \u201cDependability Modeling, Analysis and Evaluation of Industrial Information Systems,\u201d Ph.D. thesis, Porto University, Porto, Portugal (1996)."},{"key":"181259_CR15","doi-asserted-by":"crossref","unstructured":"Fussell, J.B., \u201cFault Tree Analysis-Concepts and Techniques,\u201d in Generic Techniques in System Reliability Assessment, E.J. Henley and J.W Lynn (Eds.), Noordhoff, Leiden, The Netherlands (1976).","DOI":"10.1007\/978-94-010-1553-0_13"},{"key":"181259_CR16","unstructured":"Goyal, A., \u201cThe System Availability Estimator,\u201d Proceedings of the 16th International Symposium on Fault-Tolerant Computing, pp. 84-89, Vienna, Austria (1986)."},{"key":"181259_CR17","volume-title":"Oriented Databases-A Semantic Data Model Approach","author":"P. O. Gray","year":"1992","unstructured":"Gray, P., Object Oriented Databases-A Semantic Data Model Approach, Prentice-Hall, Englewood Cliffs, NJ (1992)."},{"issue":"4","key":"181259_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/50020.50062","volume":"20","author":"A. Johnson","year":"1988","unstructured":"Johnson, A., \u201cSurvey of Software Tools for Evaluating Reliability, Availability and Serviceability,\u201d ACM Computing Survey, Vol. 20, No. 4, pp. 227-269 (December 1988).","journal-title":"ACM Computing Survey"},{"key":"181259_CR19","volume-title":"Pr\u00e9vision de la S\u00fbret\u00e9 de Fonctionnement et Architecture des Structures Num\u00e9riques Temps R\u00e9el R\u00e9parables","author":"J.C. Laprie","year":"1975","unstructured":"Laprie, J.C., \u201cPr\u00e9vision de la S\u00fbret\u00e9 de Fonctionnement et Architecture des Structures Num\u00e9riques Temps R\u00e9el R\u00e9parables,\u201d Ph.D. thesis, Universit\u00e9 Paul Sabatier, Toulouse, France (1975)."},{"key":"181259_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8990-0","volume-title":"Fault Tolerance Principles and Practice","author":"P.A. Lee","year":"1990","unstructured":"Lee, P.A. and Anderson, T., Fault Tolerance Principles and Practice, Springer-Verlag, Vienna, Austria (1990)."},{"key":"181259_CR21","volume-title":"Object Oriented Software Construction","author":"B. Meyer","year":"1985","unstructured":"Meyer, B., Object Oriented Software Construction, Prentice-Hall, Englewood Cliffs, NJ (1985)."},{"key":"181259_CR22","first-page":"48","volume-title":"Proceedings of Reliability'91","author":"E. Niel","year":"1991","unstructured":"Niel, E. and Mille, A., \u201cFault Trees and Parallelism Dedicated to the Dependability Concept,\u201d Proceedings of Reliability'91, Elsevier Applied Sciences, New York, NY, pp. 48-58 (1991)."},{"key":"181259_CR23","unstructured":"Palumbo, D., \u201cUsing Failure Modes and Effects Simulation as a Means of Reliability Analysis,\u201d Proceedings IEEE\/AIAA 11th Digital Avionics Systems Conference (1993)."},{"key":"181259_CR24","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J., Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981)."},{"volume-title":"Delta 4-A Generic Architecture for Dependable Distributed Computing","year":"1992","key":"181259_CR25","unstructured":"Powell, D. (Ed.), Delta 4-A Generic Architecture for Dependable Distributed Computing, Springer-Verlag, Vienna, Austria (1992)."},{"key":"181259_CR26","first-page":"812","volume":"2","author":"A. Quintas","year":"1995","unstructured":"Quintas, A. and Faria, J., \u201cA Conceptual Framework for Dependability Assessment of Large Industrial Information Systems,\u201d IEEE First World Congress on Intelligent Manufacturing: Systems and Processes, Puerto Rico, Vol. 2, pp. 812-23 (February 1995).","journal-title":"IEEE First World Congress on Intelligent Manufacturing: Systems and Processes"},{"key":"181259_CR27","unstructured":"Quintas, A. and Faria, J., \u201cDepCim: an Object Oriented Methodology for Dependability Analysis of CIM Systems,\u201d presentation at the INFORMS Conference, Washington, DC (May 1996)."},{"key":"181259_CR28","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W., Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, NJ (1991)."},{"key":"181259_CR29","doi-asserted-by":"crossref","unstructured":"Simons, B. (Ed.), \u201cFault-Tolerant Distributed Computing,\u201d Lectures Notes in Computer Science, Springer-Verlag, Berlin, Germany (1990).","DOI":"10.1007\/BFb0042320"},{"key":"181259_CR30","volume-title":"Probl\u00e8mes Pos\u00e9s par les \u00c9tudes de Fiabilit\u00e9 de Syst\u00e8mes El\u00e9ctriques, et Automatisation de ces \u00c9tudes par des Techniques de I\u2019Intelligence Artificielle","author":"N. Villatte","year":"1990","unstructured":"Villatte, N., \u201cProbl\u00e8mes Pos\u00e9s par les \u00c9tudes de Fiabilit\u00e9 de Syst\u00e8mes El\u00e9ctriques, et Automatisation de ces \u00c9tudes par des Techniques de I\u2019Intelligence Artificielle,\u201d Ph.D. thesis, Universit\u00e9 Paris, France (1990)."}],"container-title":["International Journal of Flexible Manufacturing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008026017515.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008026017515\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008026017515.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:06:57Z","timestamp":1754366817000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008026017515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["181259"],"URL":"https:\/\/doi.org\/10.1023\/a:1008026017515","relation":{},"ISSN":["0920-6299","1572-9370"],"issn-type":[{"type":"print","value":"0920-6299"},{"type":"electronic","value":"1572-9370"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}