{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:10:49Z","timestamp":1742958649603,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231677"},{"type":"electronic","value":"9783540302063"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30206-3_5","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:19:15Z","timestamp":1295345955000},"page":"36-51","source":"Crossref","is-referenced-by-count":11,"title":["Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems"],"prefix":"10.1007","author":[{"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanna","family":"Dondossola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/PNPM.2003.1231544","volume-title":"Proc. of the 10th International Workshop on Petri Nets and Performance Models","author":"S. Bernardi","year":"2003","unstructured":"Bernardi, S., Donatelli, S.: Building Petri net scenarios for dependable automation systems. In: Proc. of the 10th International Workshop on Petri Nets and Performance Models, Urbana-Champain, Illinois (USA), September 2003, pp. 72\u201381. IEEE CS, Los Alamitos (2003)"},{"key":"5_CR2","unstructured":"Bernardi, S., Donatelli, S., Dondossola, G.: Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements. Technical report. Deliverable D1.3b - DepAuDE Project 25434 (June 2002)"},{"key":"5_CR3","unstructured":"Bertani, A., Ciapessoni, E., Dondossola, G.: Modular TRIO Manual and Guidelines, Tutorial Package. Part I-II, Deliverable D3.4.1 of the FAST Project No. 25581 (May 2000)"},{"key":"5_CR4","unstructured":"International Electrotechnical Commission. IEC-60300-3-1: Dependability Management. IEC, 3 rue de Varemb\u00e9 CH 1211 Geneva, Switzerland (2001)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Deconinck, G., De Florio, V., Belmans, R., Dondossola, G., Szanto, J.: Integrating recovery strategies into a Primary Substation Automation System. In: IEEE Computer Society (ed.) Proc. of the International Conference on Dependable Systems and Networks (DSN 2003), June 2003, pp. 80\u201385 (2003)","DOI":"10.1109\/DSN.2003.1209919"},{"key":"5_CR6","unstructured":"DepAuDE. EEC-IST project 2000-25434, http:\/\/www.depaude.org"},{"key":"5_CR7","unstructured":"Dondossola, G.: Dependability requirements in the development of wide-scale distributed automation systems: a methodological guidance. Technical report. Deliverable D1.4 - DepAuDE IST Project 25434 (February 2003)"},{"key":"5_CR8","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"5_CR9","unstructured":"The FAST toolkit homepage, http:\/\/www.prover.com\/fast"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/201024.201034","volume":"3","author":"M. Felder","year":"1994","unstructured":"Felder, M., Morzenti, A.: Validating real-time systems by history-checking trio specifications. ACM Trans. Softw. Eng. Methodol.\u00a03(4), 308\u2013339 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46428-X_7","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Dondossola","year":"2000","unstructured":"Dondossola, G., Botti, O.: System fault tolerance specification: Proposal of a method combining semi-formal and formal approaches. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 82\u201396. Springer, Heidelberg (2000)"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0164-1212(90)90074-V","volume":"12","author":"C. Ghezzi","year":"1990","unstructured":"Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: a logic language for executable specifications of real-time systems. Journal of Systems and Software\u00a012(2), 107\u2013123 (1990)","journal-title":"Journal of Systems and Software"},{"key":"5_CR13","volume-title":"SPIN Model Checker: the Primer and Reference Manual","author":"J. Gerard Holzmann","year":"2004","unstructured":"Gerard Holzmann, J.: SPIN Model Checker: the Primer and Reference Manual. Addison Wesley Professional, Reading (2004)"},{"key":"5_CR14","volume-title":"Proc. of the Joint International Conference on Requirements Engineering (RE 2002)","author":"S. Konrad","year":"2002","unstructured":"Konrad, S., Cheng, B.H.C.: Requirements Patterns for Embedded Systems. In: Proc. of the Joint International Conference on Requirements Engineering (RE 2002), Essen, Germany, September 2002, IEEE CS, Los Alamitos (2002)"},{"key":"5_CR15","unstructured":"Konrad, S., Campbell, L.A., Cheng, B.H.C.: Adding formal specifications to requirements patterns. In: Heitmeyer, C., Mead, N. (eds.) Proceedings of the IEEE Requirements for High Assurance Systems (RHAS 2002), Essen, Germany (September 2002)"},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-79789-7_1","volume-title":"Predictably Dependable Computing Systems","author":"J.C. Laprie","year":"1995","unstructured":"Laprie, J.C.: Dependability \u2013 Its attributes, impairments and means. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B. (eds.) Predictably Dependable Computing Systems, pp. 3\u201324. Springer, Heidelberg (1995)"},{"key":"5_CR17","first-page":"196","volume-title":"Proc. of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT Int. symposium on Foundations of software engineering","author":"L. Lavazza","year":"2001","unstructured":"Lavazza, L., Quaroni, G., Venturelli, M.: Combining UML and formal notations for modelling real-time systems. In: Proc. of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT Int. symposium on Foundations of software engineering, Vienna, Austria, pp. 196\u2013206. ACM Press, New York (2001)"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logic specifications. ACM Trans. Comput. Syst.\u00a013(4), 365\u2013398 (1995)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"9","key":"5_CR19","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using Stochastic Petri Nets. IEEE Transaction on Computers\u00a031(9), 913\u2013917 (1982)","journal-title":"IEEE Transaction on Computers"},{"key":"5_CR20","unstructured":"OMG. UML Profile for Schedulability, Performance, and Time Specification (March 2002), http:\/\/www.omg.org"},{"key":"5_CR21","unstructured":"OMG. UML Specification: version 1.5 (March 2003), http:\/\/www.omg.org"},{"key":"5_CR22","unstructured":"Pataricza, A.: From the General Ressource Model to a General Fault Modeling Paradigm? In: J\u00fcrjens, J., Cengarle, M.V., Fernandez, E.B., Rumpe, B., Sandner, R. (eds.) UML 2002, pp. 163\u2013170 (2002)"},{"key":"5_CR23","unstructured":"The Precise UML Group, http:\/\/www.puml.org"},{"key":"5_CR24","unstructured":"The European MAFTIA Project. Web page, http:\/\/www.research.ec.org\/maftia"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30206-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T22:09:18Z","timestamp":1740866958000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-30206-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231677","9783540302063"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30206-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}