{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T07:59:28Z","timestamp":1648972768009},"reference-count":15,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5922,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Syst. Comp. Jpn."],"published-print":{"date-parts":[[1999,6,15]]},"DOI":"10.1002\/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T17:46:13Z","timestamp":1030297573000},"page":"13-22","source":"Crossref","is-referenced-by-count":0,"title":["State fence diagrams?A graphical representation for designing reactive systems"],"prefix":"10.1002","volume":"30","author":[{"given":"Hiromi","family":"Kobayashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoru","family":"Ichinose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasunari","family":"Shidama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel","year":"1987","journal-title":"Sci Comput Programming"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB2","volume-title":"Object-oriented modeling and design","author":"Rumbaugh","year":"1991","unstructured":"and Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall; 1991."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB3","volume-title":"Object-oriented software engineering: A use case driven approach","author":"Jacobson","year":"1992","unstructured":"Object-oriented software engineering: A use case driven approach. Reading MA: Addison-Wesley; 1992."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB4","volume-title":"Communicating sequential processes","author":"Hoare","year":"1985","unstructured":"Communicating sequential processes. Prentice-Hall International; 1985."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB5","volume-title":"The Z notation: Reference manual","author":"Spivey","year":"1989","unstructured":"The Z notation: Reference manual. Prentice-Hall International; 1989."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB6","volume-title":"Instruction to automata theory, languages and computation","author":"Hopcroft","year":"1979","unstructured":"Instruction to automata theory, languages and computation, Reading MA: Addison-Wesley; 1979."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB7","first-page":"924","volume":"E80-A","author":"Kobayashi","year":"1997","journal-title":"IEICE Trans Fundam"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB8","first-page":"41","volume":"35","author":"Yoneda","year":"1994","journal-title":"J IPS Jpn"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB9","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-time theory in practice","volume":"600","author":"Alur","year":"1992","unstructured":"The theory of timed automata. Real-time theory in practice, Lecture Notes in Computer Science, Vol. 600. SpringerVerlag; 1992. p 45-73."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB10","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE-13","author":"Leveson","year":"1987","journal-title":"IEEE Trans Software Eng"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB11","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"Jahanian","year":"1994","journal-title":"IEEE Trans Software Eng"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB12","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"Harel","year":"1988","journal-title":"Commun ACM"},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB13","author":"Harel","year":"1987","unstructured":"On the formal semantics of statecharts. Proc 2nd IEEE Symp on Logic in Comput Sci 1987;54-64."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB14","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid systems","volume":"736","author":"Alur","year":"1993","unstructured":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid systems, Lecture Notes in Computer Science, Vol. 736. Springer-Verlag; 1993. p 209-229."},{"key":"10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M-BIB15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"Alur","year":"1996","journal-title":"IEEE Trans Software Eng"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1520-684X(19990615)30:6%3C13::AID-SCJ2%3E3.0.CO;2-M","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1520-684X(19990615)30:6%3C13::AID-SCJ2%3E3.0.CO;2-M","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T09:07:31Z","timestamp":1625130451000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1520-684X(19990615)30:6<13::AID-SCJ2>3.0.CO;2-M"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6,15]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1999,6,15]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,6,15]]}}}