{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:33:10Z","timestamp":1725489190206},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417910"},{"type":"electronic","value":"9783540452515"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45251-6_16","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:53:28Z","timestamp":1186898008000},"page":"278-299","source":"Crossref","is-referenced-by-count":3,"title":["An Integrated Approach to Specification and Validation of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Adnan","family":"Sherif","sequence":"first","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"S\u00e9rgio","family":"Cavalcante","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,16]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"13th International Conference on Application and Theory pf Petri Nets","author":"G. Balbo","year":"1992","unstructured":"G. Balbo. Performance Issues in Parallel Programming. In 13th International Conference on Application and Theory pf Petri Nets, volume 616, pages 1\u201323, Sheffield, UK, 1992. Lecture Notes in Computer Science."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"A. Bernstein and P.K. Harter. Proving Real-time Properties of Programs with Temporal Logic. In Proceedings 8thSymposium on Operating System Principles, ACM SIGOPS, pages 1\u201311, 1981.","DOI":"10.1145\/800216.806585"},{"issue":"3","key":"16_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the Association for Computing Machinery, 31(3):560\u2013599, July 1984.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"16_CR4","first-page":"281","volume":"197","author":"S. D. Brookes","year":"1985","unstructured":"S. D. Brookes and A. W. Roscoe. An improved failures model for communicating processes. In Lecture Notes on Computer Science, volume 197, pages 281\u2013305, 1985.","journal-title":"An improved failures model for communicating processes"},{"key":"16_CR5","series-title":"PhD thesis","volume-title":"A Hardware-Software Co-Design System for Embedded Real-Time Applications","author":"S. V. Cavalcante","year":"1997","unstructured":"S. V. Cavalcante. A Hardware-Software Co-Design System for Embedded Real-Time Applications. PhD thesis, Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, England, 1997."},{"key":"16_CR6","unstructured":"A. R. de Paula Jr. Fault Tolerance Aspects of the SACI-1. VI Simp\u00f3sio de Computadores Tolerantes a Falhas, 1995."},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J. Davies","year":"1995","unstructured":"J. Davies and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138(2):243\u2013271, 1995.","journal-title":"Theoretical Computer Science"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"A. S. Evans. Visualising Concurrent Z Specifications. In J. P. Bowen and J. A. Hall, editor, Z User Workshop, pages 269\u2013281, Cambridge, June 1994. Proceedings of the 8th Z User Meeting, Springer-Verlag Workshop in Computing.","DOI":"10.1007\/978-1-4471-3452-7_16"},{"key":"16_CR9","unstructured":"C. Fischer. Combining CSP and Z. Technical report, University of Oldenburg, 1996."},{"key":"16_CR10","unstructured":"C. Fischer. Combination and implementation of processes and data: from csp-oz to java. PhD thesis, University of Oldenburg, 2000."},{"key":"16_CR11","unstructured":"Formal Systems (Europe) Ltd. FDR: User Manual and Tutorial, version 2.01, August 1996."},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze. A Unified High-level Petri Net Formalism for Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160\u2013172, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"B. Mahony and J. Song Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In Proceedings of the 1998 Internaltional Conference on Software Engineering, pages 95\u2013104, 1998.","DOI":"10.1109\/ICSE.1998.671106"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1093\/comjnl\/41.3.145","volume":"41","author":"M.M.R.+.9.8._.A. Mazzeo","year":"1998","unstructured":"[MMR+98]_A. Mazzeo, N. Mazzocca, S. Russo, C. Savy, and V. Vittorini. Formal Specification of Concurrent Systems: A Structured Approach. The Computer Journal, 41(3):145\u2013162, 1998.","journal-title":"The Computer Journal"},{"key":"16_CR16","series-title":"Master\u2019s thesis","volume-title":"Formaliza\u00e7\u00e3o e An\u00e1lise do SACI-1 em CSP-Z","author":"A. Mota","year":"1997","unstructured":"A. Mota. Formaliza\u00e7\u00e3o e An\u00e1lise do SACI-1 em CSP-Z. Master\u2019s thesis, Departamento de Inform\u00e1tica, Centro de Ci\u00eancias Exatas e da Natureza, UFPE, 1997."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"A. Mota and A. Sampaio. Model-Checking CSP-Z, Strategy, Tool Support and Industrial Application. Science of Computer Programing, 39(1), 2000.","DOI":"10.1016\/S0167-6423(00)00023-X"},{"key":"16_CR18","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall International, 1998."},{"key":"16_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP\u2019 86","author":"G. M. Reed","year":"1986","unstructured":"G. M. Reed and A. W. Roscoe. A timed model for communication sequential processes. In Proceedings of ICALP\u2019 86, volume 226. Lecture Notes in Computer Science, 1986."},{"key":"16_CR20","series-title":"Master\u2019s thesis","volume-title":"Formal Specification and Validation of Real-Time Systems","author":"A. Sherif","year":"2000","unstructured":"A. Sherif. Formal Specification and Validation of Real-Time Systems. Master\u2019s thesis, Centro de Inform\u00e1tica, UFPE, 2000. http:\/\/www.di.ufpe.br\/~ams\/thesis.html ."},{"key":"16_CR21","unstructured":"M. E. Saturno and J. B. Neto. Software Requirement Specification for the OBC\/SACI-1 Application Programs. Technical report, Instituto Nacional de Pesquisas Espaciais-INPE, 1995."},{"key":"16_CR22","unstructured":"J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge Tracts in Theoretical Computer Science 3, 1988."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"C. Suhl. RT-Z: An Integration of Z and timed CSP. In Proceedings of the 1st Internaltional Conference on Integrated Formal Methods, 1999.","DOI":"10.1007\/978-1-4471-0851-1_3"}],"container-title":["Lecture Notes in Computer Science","FME 2001: Formal Methods for Increasing Software Productivity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45251-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:24:28Z","timestamp":1684005868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45251-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417910","9783540452515"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45251-6_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}