{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:29:13Z","timestamp":1742912953033,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319101804"},{"type":"electronic","value":"9783319101811"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10181-1_23","type":"book-chapter","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T14:28:38Z","timestamp":1409322518000},"page":"373-388","source":"Crossref","is-referenced-by-count":1,"title":["A Separation Principle for Embedded System Interfacing"],"prefix":"10.1007","author":[{"given":"Lucian M.","family":"Patcas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational Methods in Computer Science. Advances in Computing. Springer (1997)","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Mili, A., Nguyen, T.: Refinement and Demonic Semantics. In: Brink, et al. (eds.) [1], ch.\u00a011, pp. 166\u2013183 (1997)","DOI":"10.1007\/978-3-7091-6510-2_11"},{"key":"23_CR3","unstructured":"Faulk, S., Finneran, J., Kirby, J., Shash, S., Sutton, J.: Experience applying the CoRE method to the Lockhead C-130J software requirements. In: Ninth Annual Conference on Computer Assurance, Gaithersburg, Maryland (June 1994)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Frappier, M.: A Relational Basis for Program Construction by Parts. Ph.D. thesis, Computer Science Department, University of Ottawa (1995)","DOI":"10.1007\/3-540-60117-1_15"},{"issue":"4","key":"23_CR5","first-page":"193","volume":"80","author":"D.P. Joseph","year":"1961","unstructured":"Joseph, D.P., Tou, T.J.: On linear control theory. Transactions of the American Institute of Electrical Engineers. Part II: Applications and Industry\u00a080(4), 193\u2013196 (1961)","journal-title":"Part II: Applications and Industry"},{"issue":"3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S1571-0661(04)80932-0","volume":"44","author":"W. Kahl","year":"2003","unstructured":"Kahl, W.: Refinement and development of programs from relational specifications. Electronic Notes in Theoretical Computer Science\u00a0(ENTCS)\u00a044(3), 51\u201393 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science\u00a0(ENTCS)"},{"issue":"2","key":"23_CR7","first-page":"102","volume":"5","author":"R.E. Kalman","year":"1960","unstructured":"Kalman, R.E.: Contributions to the theory of optimal control. Bol. Soc. Mat. Mexicana\u00a05(2), 102\u2013119 (1960)","journal-title":"Bol. Soc. Mat. Mexicana"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-45499-3_8","volume-title":"Algebraic Methodology and Software Technology","author":"M. Lawford","year":"2000","unstructured":"Lawford, M., McDougall, J., Froebel, P., Moum, G.: Practical application of functional and relational methods for the specification and verification of safety critical software. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 73\u201388. Springer, Heidelberg (2000)"},{"key":"23_CR9","unstructured":"Lempia, D.L., Miller, S.P.: Requirements engineering management handbook. Tech. Rep. DOT\/FAA\/AR-08\/32, U.S. Department of Transportation, Federal Aviation Administration (June 2009)"},{"issue":"12","key":"23_CR10","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer Programming\u00a025(1), 41\u201361 (1995)","journal-title":"Science of Computer Programming"},{"key":"23_CR12","unstructured":"Patcas, L.M., Lawford, M., Maibaum, T.: From system requirements to software requirements in the four-variable model. In: Schneider, S., Treharne, H., Margaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of the Automated Verification of Critical Systems (AVoCS 2013). Electronic Communications of the EASST, vol.\u00a066 (2014)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Thompson, J., Heimdahl, M., Miller, S.P.: Specification-based prototyping for embedded systems. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC\/FSE 1999. LNCS, vol.\u00a01687, pp. 163\u2013179. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48166-4_11"},{"key":"23_CR14","unstructured":"Van Schouwen, A.: The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems. Tech. Rep. 90-276, Queens University, Ontario, Canada (1990)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-45236-2_9","volume-title":"FME 2003: Formal Methods","author":"A. Wassyng","year":"2003","unstructured":"Wassyng, A., Lawford, M.: Lessons learned from a successful implementation of formal methods in an industrial project. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 133\u2013153. Springer, Heidelberg (2003)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Wonham, W.M.: Lecture notes on supervisory control of discrete-event systems. Systems Control Group, Department of Electrical & Computer Engineering, University of Toronto (July 2013), \n                        http:\/\/www.control.toronto.edu\/DES\/","DOI":"10.1007\/978-1-4471-5102-9_54-1"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10181-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T09:51:16Z","timestamp":1676886676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10181-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319101804","9783319101811"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10181-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}