{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:46Z","timestamp":1725551746547},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_6","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"66-80","source":"Crossref","is-referenced-by-count":1,"title":["The Semantics and Tool Support of OZTA"],"prefix":"10.1007","author":[{"given":"Jin Song","family":"Dong","sequence":"first","affiliation":[]},{"given":"Ping","family":"Hao","sequence":"additional","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]},{"given":"Xian","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III: Verification and Control","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Hybrid Systems III: Verification and Control, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Integrated Formal Methods","year":"2004","unstructured":"Boiten, E.A., Derrick, J., Smith, G.P. (eds.): IFM 2004. LNCS, vol.\u00a02999. Springer, Heidelberg (2004)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-24756-2_24","volume-title":"Integrated Formal Methods","year":"2004","unstructured":"Boiten, E.A., Derrick, J., Smith, G.P. (eds.): IFM 2004. LNCS, vol.\u00a02999, pp. 441\u2013460. Springer, Heidelberg (2004)"},{"unstructured":"Dong, J.S., Hao, P., Qin, S.C., Zhang, X.: OZTA. Technical report TRC6\/05, School of Computing, National University of Singapore (2005)","key":"6_CR5"},{"doi-asserted-by":"crossref","unstructured":"Dong, J.S., Duke, R., Hao, P.: Integrating Object-Z with Timed Automata. In: The 10th IEEE International Conference on Engineering of Complex Computer System, Shanghai, China (2005)","key":"6_CR6","DOI":"10.1109\/ICECCS.2005.56"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-540-30482-1_39","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2004","unstructured":"Dong, J.S., Hao, P., Qin, S.C., Sun, J., Yi, W.: Timed Patterns: TCOZ to Timed Automata. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 483\u2013498. Springer, Heidelberg (2004)"},{"key":"6_CR8","volume-title":"Cornerstones of Computing","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. In: Cornerstones of Computing. Macmillan, Basingstoke (2000)"},{"key":"6_CR9","volume-title":"IFM 1999: Integrated Formal Methods","author":"C. Fischer","year":"1999","unstructured":"Fischer, C., Wehrheim, H.: Model-Checking CSP-OZ Specifications with FDR. In: IFM 1999: Integrated Formal Methods, York, UK. Springer, Heidelberg (1999)"},{"key":"6_CR10","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"unstructured":"Liu, Z., He, J., Li, X.: A relational model for specification of object-oriented systems. Technical report 262, UNU\/IIST (2002)","key":"6_CR11"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"A. Cavalcanti","year":"2002","unstructured":"Cavalcanti, A., Woodcock, J.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-45236-2_19","volume-title":"FME 2003: Formal Methods","author":"S.C. Qin","year":"2003","unstructured":"Qin, S.C., Dong, J.S., Chin, W.N.: A Semantic Foundation of TCOZ in Unifying Theory of Programming. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 321\u2013340. Springer, Heidelberg (2003)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/3-540-36103-0_62","volume-title":"Formal Methods and Software Engineering","author":"A. Sherif","year":"2002","unstructured":"Sherif, A., He, J.: Towards a Timed Model for Circus. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, p. 613. Springer, Heidelberg (2002)"},{"key":"6_CR15","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-44880-2_26","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Utting","year":"2003","unstructured":"Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N., Currie, D.: Zml: Xml support for standard Z. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 437\u2013456. Springer, Heidelberg (2003)"},{"key":"6_CR17","volume-title":"The 1995 Asia-Pacific Software Engineering Conference (APSEC 1995)","author":"E.N. Wafula","year":"1995","unstructured":"Wafula, E.N., Swatman, P.A.: FOOM: A Diagrammatic Illustration of Inter-Object Communication in Object-Z Specifications. In: The 1995 Asia-Pacific Software Engineering Conference (APSEC 1995). IEEE Press, Los Alamitos (1995)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"issue":"9","key":"6_CR19","first-page":"794","volume":"18","author":"X. Nicollin","year":"1999","unstructured":"Nicollin, X., Sifakis, J., Yovine, S.: Compiling Real-time Specifications into Extended Autoamta. IEEE TSE Special Issue on Real-Time Systems\u00a018(9), 794\u2013804 (1999)","journal-title":"IEEE TSE Special Issue on Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:22Z","timestamp":1619505862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11576280_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}