{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:57:58Z","timestamp":1725541078428},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_31","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"601-619","source":"Crossref","is-referenced-by-count":11,"title":["Modal Systems: Specification, Refinement and Realisation"],"prefix":"10.1007","author":[{"given":"Fernando L.","family":"Dotti","sequence":"first","affiliation":[]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/LADC.2009.11","volume-title":"Proceedings of the fourth Latin-American Symposium on Dependable Computing","author":"A. Iliasov","year":"2009","unstructured":"Iliasov, A., Dotti, F.L., Romanovsky, A.: Structuring specifications with modes. In: Proceedings of the fourth Latin-American Symposium on Dependable Computing, pp. 81\u201388. IEEE Computer Society, Los Alamitos (2009)"},{"key":"31_CR2","unstructured":"Abrial, J.R., M\u00e9tayer, C.: Rodin deliverable 3.2 - event-b language. Technical report, Newcastle University, England (2005), http:\/\/rodin.cs.ncl.ac.uk"},{"key":"31_CR3","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"31_CR4","unstructured":"Butler, R.W.: Nasa technical memorandum 110255 an introduction to requirements capture using pvs: Specification of a simple autopilot (1996)"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/298595.298856","volume-title":"FMSP 1998: Proceedings of the second workshop on Formal methods in software practice","author":"S.P. Miller","year":"1998","unstructured":"Miller, S.P.: Specifying the mode logic of a flight guidance system in core and scr. In: FMSP 1998: Proceedings of the second workshop on Formal methods in software practice, pp. 44\u201353. ACM, New York (1998)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Lygeros, J., Godbole, D.N., Broucke, M.E.: Design of an extended architecture for degraded modes of operation of ivhs. In: American Control Conference, pp. 3592\u20133596 (1995)","DOI":"10.1109\/ACC.1995.533806"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.R., B\u00f6rger, E., Langmaack, H. (eds): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control, the book grow out of a Dagstuhl Seminar (June 1995); Abrial, J.R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"31_CR8","unstructured":"Abrial, J.R., Bryans, J., Butler, M., Falampin, J., Hoang, T.S., Ilic, D., Latvala, T., Rossa, C., Roth, A., Varpaaniemi, K.: Report on knowledge transfer - deploy deliverable d5 (February 2009)"},{"issue":"12","key":"31_CR9","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.: Modechart: A specification language for real-time systems. IEEE Transactions on Software Engineering\u00a020(12), 933\u2013947 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"31_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real, J., Crespo, A.: Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Syst.\u00a026(2), 161\u2013197 (2004)","journal-title":"Real-Time Syst."},{"key":"31_CR11","first-page":"287","volume-title":"Proceedings of the Second International Workshop on Responsive Computer Systems","author":"G. Fohler","year":"1992","unstructured":"Fohler, G.: Realizing changes of operational modes with a pre run-time scheduled hard real-time system. In: Proceedings of the Second International Workshop on Responsive Computer Systems, pp. 287\u2013300. Springer, Heidelberg (1992)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Peter, H., Feiler, D.P., Gluch, J.J.H.: The architecture analysis & design language (aadl): An introduction. Technical Note CMU\/SEI-2006-TN-011, Software Engineering Institute - Carnegie Mellon University (2006)","DOI":"10.21236\/ADA455842"},{"key":"31_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1479772.1479776","volume-title":"SERENE 2008: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems","author":"S. Mustafiz","year":"2008","unstructured":"Mustafiz, S., Kienzle, J., Berlizev, A.: Addressing degraded service outcomes and exceptional modes of operation in behavioural models. In: SERENE 2008: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems, pp. 19\u201328. ACM, New York (2008)"},{"key":"#cr-split#-31_CR14.1","unstructured":"Robert, T., Fabre, J.C., Roy, M.: Application of Early Error Detection for Handling Degraded Modes of Operation. In: Waeselynck, H. (ed.) Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, France, p. 3 (May 2009);"},{"key":"#cr-split#-31_CR14.2","unstructured":"Rapport LAAS 09171"},{"key":"31_CR15","first-page":"115","volume-title":"Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University, London, UK","author":"R.J. Back","year":"1989","unstructured":"Back, R.J., Sere, K.: Stepwise Refinement of Action Systems. In: van de Snepscheut, J.L.A. (ed.) Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University, London, UK, pp. 115\u2013138. Springer, Heidelberg (1989)"},{"key":"31_CR16","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice-Hall International, Englewood Cliffs (1976)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:57Z","timestamp":1606186497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}