{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:48:55Z","timestamp":1725792535490},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319061993"},{"type":"electronic","value":"9783319062006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06200-6_16","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T05:53:48Z","timestamp":1398232428000},"page":"209-214","source":"Crossref","is-referenced-by-count":7,"title":["Combining PVSio with Stateflow"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Masci","sequence":"first","affiliation":[]},{"given":"Yi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Oladimeji","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"D\u2019Urso","sequence":"additional","affiliation":[]},{"given":"Cinzia","family":"Bernardeschi","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[]},{"given":"Harold","family":"Thimbleby","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"GPCA project, \n                  \n                    http:\/\/rtg.cis.upenn.edu\/medical\/gpca\/gpca.html"},{"key":"16_CR2","unstructured":"Mathworks Simulink, \n                  \n                    http:\/\/www.mathworks.com\/products\/simulink"},{"key":"16_CR3","unstructured":"Mathworks Stateflow, \n                  \n                    http:\/\/www.mathworks.com\/products\/stateflow"},{"issue":"5","key":"16_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00165-009-0108-9","volume":"21","author":"C. Chen","year":"2009","unstructured":"Chen, C., Dong, J.S., Sun, J.: A formal framework for modeling and validating Simulink diagrams. Formal Aspects of Computing\u00a021(5), 451\u2013483 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-24721-0_17","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Hamon","year":"2004","unstructured":"Hamon, G., Rushby, J.: An operational semantics for Stateflow. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-40793-2_21","volume-title":"Computer Safety, Reliability, and Security","author":"P. Masci","year":"2013","unstructured":"Masci, P., Ayoub, A., Curzon, P., Lee, I., Sokolsky, O., Thimbleby, H.: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol.\u00a08153, pp. 228\u2013240. Springer, Heidelberg (2013)"},{"key":"16_CR7","unstructured":"Mu\u00f1oz, C.: Rapid prototyping in PVS. Technical Report NIA Report No. 2003-03, NASA\/CR-2003-212418, National Institute of Aerospace (2003)"},{"key":"16_CR8","unstructured":"Oladimeji, P., Masci, P., Curzon, P., Thimbleby, H.: PVSio-web: A tool for rapid prototyping device user interfaces in PVS. In: 5th International Workshop on Formal Methods for Interactive Systems, FMIS 2013 (2013), Tool and application examples available at \n                  \n                    http:\/\/www.pvsioweb.org"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11334-011-0145-4","volume":"7","author":"P. Roy","year":"2011","unstructured":"Roy, P., Shankar, N.: SimCheck: a contract type system for Simulink. Innovations in Systems and Software Engineering\u00a07(2), 73\u201383 (2011)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Ramesh, S., Snook, C., Singh, N.K., Butler, M.: A mixed approach to rigorous development of control designs. In: IEEE Multi-Conference on Systems and Control (MSC 2013) (August 2013)","DOI":"10.1109\/CACSD.2013.6663474"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a safe subset of Simulink\/Stateflow into Lustre. In: 4th ACM International Conference on Embedded Software. ACM (2004)","DOI":"10.1145\/1017753.1017795"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06200-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T20:17:31Z","timestamp":1547842651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}