{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:34Z","timestamp":1740124234267,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s11219-019-09444-7","type":"journal-article","created":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T08:02:52Z","timestamp":1561968172000},"page":"1015-1043","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A minimization algorithm for automata generated fault trees with priority gates"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0908-5963","authenticated-orcid":false,"given":"Nidhal","family":"Mahmud","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,1]]},"reference":[{"issue":"2","key":"9444_CR1","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TDSC.2009.45","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., & Stoelinga, M. (2010). A rigorous, compositional, and extensible framework for dynamic fault tree analysis. Dependable and Secure Computing, IEEE Transactions on, 7(2), 128\u2013143.","journal-title":"Dependable and Secure Computing, IEEE Transactions on"},{"key":"9444_CR2","doi-asserted-by":"crossref","unstructured":"Chen, D., Mahmud, N., Walker, M., Feng, L., L\u00f6nn, H., & Papadopoulos, Y. (2013). Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. In Proceedings of the 4th International Federation of Automatic Control (IFAC) Workshop on Dependable Control of Discrete Systems (DCDS), York, (pp. 91-96). IFAC","DOI":"10.3182\/20130904-3-UK-4041.00043"},{"key":"9444_CR3","first-page":"295","volume-title":"International conference on concurrency theory","author":"P Crouzen","year":"2008","unstructured":"Crouzen, P., Hermanns, H., & Zhang, L. (2008). On the minimisation of acyclic models. In International conference on concurrency theory (pp. 295\u2013309). Berlin Heidelberg: Springer."},{"issue":"5","key":"9444_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.5516\/NET.2008.40.5.365","volume":"40","author":"J Dehlinger","year":"2008","unstructured":"Dehlinger, J., & Dugan, J. B. (2008). Analyzing dynamic fault trees derived from model-based system architectures. Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society, 40(5), 365\u2013374.","journal-title":"Nuclear Engineering and Technology: An International Journal of the Korean Nuclear Society"},{"issue":"3","key":"9444_CR5","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J. B., Bavuso, S. J., & Boyd, M. A. (1992). Dynamic fault-tree models for fault-tolerant computer systems. Reliability, IEEE Transactions on, 41(3), 363\u2013377.","journal-title":"Reliability, IEEE Transactions on"},{"key":"9444_CR6","unstructured":"EAST-ADL (2010). EAST-ADL domain model specification, D4.1.1 Retrieved from.\n                    http:\/\/www.east-adl.info\/repository\/EAST-ADL2.1\/EAST-ADL-Specification_2010-06-30.pdf"},{"key":"9444_CR7","doi-asserted-by":"crossref","unstructured":"Hidalgo, E.M.P., Silva, D.W.R., & De Souza, G.F.M. (2013). \u201cApplication of Markov chain to determine the electric energy supply system reliability for the cargo control system of LNG carriers\u201d. In Proc. of ASME 32nd Int. Conf. on Ocean, Offshore and Arctic Engng, 2013.","DOI":"10.1115\/OMAE2013-11388"},{"key":"9444_CR8","unstructured":"Joshi, A., Vestal, S., & Binns, P. (2007). Automatic generation of static fault trees from aadl models. In Workshop on Architecting Dependable Systems of The 37th Annual IEEE\/IFIP Int. Conference on Dependable Systems and Networks, Edinburgh, UK."},{"issue":"2","key":"9444_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.4018\/IJCSSA.2015070103","volume":"3","author":"RT Kolagari","year":"2015","unstructured":"Kolagari, R. T., Chen, D., Lanusse, A., Librino, R., L\u00f6nn, H., Mahmud, N., Mraidha, C., Reiser, M., Torchiaro, S., Tucci-Piergiovanni, S., W\u00e4gemann, T., & Yakymets, N. (2015). Model-based analysis and engineering of automotive architectures with EAST-ADL: revisited. International Journal of Conceptual Structures and Smart Applications (IJCSSA), 3(2), 25\u201370. \n                    https:\/\/doi.org\/10.4018\/IJCSSA.2015070103\n                    \n                  .","journal-title":"International Journal of Conceptual Structures and Smart Applications (IJCSSA)"},{"issue":"9","key":"9444_CR10","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1016\/j.ress.2005.11.018","volume":"91","author":"A Konak","year":"2006","unstructured":"Konak, A., Coit, D. W., & Smith, A. E. (2006). Multi-objective optimization using genetic algorithms. Reliability Engineering & System Safety, 91(9), 992\u20131007.","journal-title":"Reliability Engineering & System Safety"},{"key":"9444_CR11","unstructured":"Mahmud, N. (2012). Dynamic Model-based Safety Analysis: from state machines to temporal fault trees. (Ph.D. thesis). Department of Computer Science, University of Hull, Hull, UK."},{"key":"9444_CR12","doi-asserted-by":"crossref","unstructured":"Mahmud, N. (2015). Advanced fault tree synthesis for systems with dynamic aspects. In Safety and reliability of complex engineered systems (pp. 1635\u20131643). CRC Press.","DOI":"10.1201\/b19094-213"},{"key":"9444_CR13","doi-asserted-by":"crossref","unstructured":"Mahmud, N. (2017). A compositional symbolic calculus approach to producing reduced Markov chains. In 63rd Annual Reliability and Maintainability Symposium (RAMS). IEEE.","DOI":"10.1109\/RAM.2017.7889660"},{"key":"9444_CR14","unstructured":"Mahmud, N., & Mian, Z. (2013). Automatic generation of temporal fault trees from AADL models. In Safety, Reliability and Risk Analysis: Beyond the Horizon (pp. 2741\u20132749). CRC Press."},{"key":"9444_CR15","doi-asserted-by":"crossref","unstructured":"Mahmud, N., Papadopoulos, Y., & Walker, M. (2010). A translation of state machines to temporal fault trees. In Proceedings of the 40th IEEE\/IFIP International Conference on Dependable Systems and Networks, (pp. 45\u201351). IEEE.","DOI":"10.1109\/DSNW.2010.5542620"},{"issue":"4","key":"9444_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/2185395.2185444","volume":"39","author":"N Mahmud","year":"2012","unstructured":"Mahmud, N., Walker, M., & Papadopoulos, Y. (2012). Compositional synthesis of temporal fault trees from state machines. ACM SIGMETRICS Performance Evaluation Review, 39(4), 79\u201388.","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"issue":"1","key":"9444_CR17","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/TR.2009.2035793","volume":"59","author":"G Merle","year":"2010","unstructured":"Merle, G., Roussel, J. M., Lesage, J., & Bobbio, A. (2010). Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. Reliability, IEEE Transactions on, 59(1), 250\u2013261.","journal-title":"Reliability, IEEE Transactions on"},{"key":"9444_CR18","doi-asserted-by":"crossref","unstructured":"Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015) Model transformation for multi-objective architecture optimisation of dependable systems. In Dependability problems of complex information systems, (pp. 91\u2013110). Springer.","DOI":"10.1007\/978-3-319-08964-5_6"},{"key":"9444_CR19","unstructured":"Mitsubishi Heavy Industries. (2010). Technology trends and MHI activities for LNG carriers. Technical Review, 47(3)."},{"issue":"1","key":"9444_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A. (2002). Mode automata and their compilation into fault trees. Reliability Engineering & System Safety, 78(1), 1\u201312.","journal-title":"Reliability Engineering & System Safety"},{"issue":"1","key":"9444_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0951-8320(02)00165-5","volume":"79","author":"A Rauzy","year":"2003","unstructured":"Rauzy, A., Ch\u00e2telet, E., Dutuit, Y., & B\u00e9renguer, C. (2003). A practical comparison of methods to assess sum-of-products. Reliability Engineering & System Safety, 79(1), 33\u201342.","journal-title":"Reliability Engineering & System Safety"},{"key":"9444_CR22","unstructured":"Vesely, W. E., Goldberg, F. F., Roberts, N. H., & Haas, D. F. (1981). Fault Tree Handbook. US Nuclear Regulatory Committee Report NUREG-0492, Washington."},{"key":"9444_CR23","unstructured":"Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J. III, & Railsback, J. (2002). Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance."},{"issue":"10","key":"9444_CR24","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/j.conengprac.2008.10.003","volume":"17","author":"M Walker","year":"2009","unstructured":"Walker, M., & Papadopoulos, Y. (2009). Qualitative temporal analysis: towards a full implementation of the fault tree handbook. Control Engineering Practice, 17(10), 1115\u20131125.","journal-title":"Control Engineering Practice"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09444-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-019-09444-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09444-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T23:25:51Z","timestamp":1593473151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-019-09444-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,1]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["9444"],"URL":"https:\/\/doi.org\/10.1007\/s11219-019-09444-7","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2019,7,1]]},"assertion":[{"value":"1 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}