{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T06:29:21Z","timestamp":1680244161042},"reference-count":19,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/s0164-1212(02)00161-9","type":"journal-article","created":{"date-parts":[[2003,10,11]],"date-time":"2003-10-11T07:27:44Z","timestamp":1065857264000},"page":"95-105","source":"Crossref","is-referenced-by-count":15,"title":["Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification"],"prefix":"10.1016","volume":"70","author":[{"given":"Juan Pablo","family":"Gruer","sequence":"first","affiliation":[]},{"given":"V.","family":"Hilaire","sequence":"additional","affiliation":[]},{"given":"A.","family":"Koukam","sequence":"additional","affiliation":[]},{"given":"P.","family":"Rovarini","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(02)00161-9_BIB1","doi-asserted-by":"crossref","unstructured":"Bjorner, N., Manna, Z., Sipma, H.B., Uribe, T.E., 1998. Deductive verification of real-time systems using STeP. Technical Report STAN-CS-TR-98-1616, Computer Science Department, Stanford University","DOI":"10.1007\/3-540-63010-4_3"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB2","first-page":"184","article-title":"An open environment for the integration of hetereogenous modelling techniques and tools","author":"Bussow","year":"1998","journal-title":"FM-Trends"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB3","unstructured":"Bussow, R., Grieskamp, W., Klar, M., The uSZ notation\u2013\u2013version 1.0"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB4","unstructured":"Campero, R., 2000. On the translation of system specifications from statecharts to transition systems, Master in Computer Engineering, Universite de Technologie de Belfort-Montbeliard"},{"issue":"5\u20136","key":"10.1016\/S0164-1212(02)00161-9_BIB5","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","article-title":"Object-Z: a specification language advocated for the description of standards","volume":"17","author":"Duke","year":"1995","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB6","series-title":"Proceedings of the 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK","first-page":"423","article-title":"CSP-OZ: a combination of Object-Z and CSP","author":"Fischer","year":"1997"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB7","unstructured":"Gruer, P., Hilaire, V., Koukam, A., 2002. Verification and prototyping of ozs specifications. Technical report, Systems and Transportations laboratory, Universit\u00e9 de technologie de Belfort-Montb\u00e9liard, France"},{"issue":"3","key":"10.1016\/S0164-1212(02)00161-9_BIB8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB9","series-title":"Modeling Reactive Systems With Statecharts: The Statemate Approach","author":"Harel","year":"1998"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB10","doi-asserted-by":"crossref","unstructured":"Lissajoux, T., Hilaire, V., Koukam, A., Caminada, A., 1998. Genetic algorithms as prototyping tools for multi-agent systems: application to the antenna parameter setting problem. In: Lecture Notes in Artificial Intelligence, number 1437. Springer-Verlag, Berlin","DOI":"10.1007\/BFb0053941"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB11","doi-asserted-by":"crossref","unstructured":"Luth, C., Karlsen, E.W., Kolyang, Westmeier, S., Wolff, B., 1998. HOL-Z in the uniform-workbench\u2013\u2013a case study in tool integration for z. Available from URL citeseer.nj.nec.com\/375382.html","DOI":"10.1007\/978-3-540-49676-2_9"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB12","doi-asserted-by":"crossref","unstructured":"Mahony, B.P., Dong, J.S., 1999. Overview of the semantics of TCOZ. In: Proceedings of the Integrated Formal Methods (IFM\u201999). Springer-Verlag, York, UK","DOI":"10.1007\/978-1-4471-0851-1_5"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB13","unstructured":"Manna, S., Klar, M., A metamodel for object-oriented statecharts, 1998. Available from URL citeseer.nj.nec.com\/mann98metamodel.html"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB14","doi-asserted-by":"crossref","unstructured":"Manna, Z., Anuchitanukul, A., Bjorner, N., Browne, A., Chang, E., Colson, M., Algaro, L., Devarajan, H., Sipma, H., Uribe, T., 1994. STeP: the Stanford Temporal Prover. Technical report, Technical Report STAN-CS-TR-94-1518, The Department of Computer Science, Stanford University","DOI":"10.21236\/ADA324036"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB15","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A., 1995. Temporal Verification of Reactive Systems\u2013\u2013Safety. Springer-Verlag, New York (ISBN 0-387-94459-1)","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"3","key":"10.1016\/S0164-1212(02)00161-9_BIB16","first-page":"403","article-title":"Statemate: a working environment for the development of complex reactive systems","volume":"16","author":"Naamad","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB17","unstructured":"Oxford Formal Systems Ltd., 1997. Failures\u2013divergences refinement: Fdr2 user manual and tutorial"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB18","doi-asserted-by":"crossref","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H., 2001. Object-Z web environment and projections to UML. In: WWW-10: 10th International World Wide Web Conference, refereed papers track. ACM Press, New York, pp. 725\u2013734","DOI":"10.1145\/371920.372189"},{"key":"10.1016\/S0164-1212(02)00161-9_BIB19","doi-asserted-by":"crossref","unstructured":"Weber, M., 1996. Combining statecharts and Z for the design of safety-critical control systems. In: Gaudel, M., Woodcock, J., (Eds.), Proceedings of the International Conference on FME \u201996; Industrial Benefit and Advances in Formal Methods, Oxford, UK, vol. 1051, Springer-Verlag, Berlin, pp. 307\u2013326","DOI":"10.1007\/3-540-60973-3_94"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202001619?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202001619?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T01:10:31Z","timestamp":1585185031000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121202001619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S0164121202001619"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(02)00161-9","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}