{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T12:30:38Z","timestamp":1773405038641,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1023\/a:1008262409521","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"355-375","source":"Crossref","is-referenced-by-count":53,"title":["A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development"],"prefix":"10.1007","volume":"7","author":[{"given":"Joon Sung","family":"Hong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hae-Sang","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tag Gon","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyu Ho","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"143122_CR1","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"Bruno, G., and Marchetto, G. 1986. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Software Eng. 12(2), pp. 346\u2013357.","journal-title":"IEEE Trans. on Software Eng."},{"issue":"5","key":"143122_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/52.156899","volume":"9","author":"A. M. Davis","year":"1992","unstructured":"Davis, A. M. 1992. Operational prototyping: A new development approach. IEEE Software 9(5), pp. 70\u201378.","journal-title":"IEEE Software"},{"issue":"1","key":"143122_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"6","author":"K. L. Heninger","year":"1980","unstructured":"Heninger, K. L. 1980. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Eng. 6(1), pp. 2\u201313.","journal-title":"IEEE Trans. on Software Eng."},{"key":"143122_CR4","doi-asserted-by":"crossref","unstructured":"Jaffe, M. S., and Leveson, N. G. 1989. Completeness, robustness, and safety in real-time software requirements specification. In 14th Proc. Int. Conf. on Software Eng., pp. 302\u2013311.","DOI":"10.1145\/74587.74628"},{"key":"143122_CR5","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1986","unstructured":"Jones, C. B. 1986. Systematic Software Development Using VDM. New Jersey: Prentice-Hall."},{"issue":"5","key":"143122_CR6","doi-asserted-by":"crossref","first-page":"1013","DOI":"10.1109\/21.59966","volume":"20","author":"T. G. Kim","year":"1990","unstructured":"Kim, T. G., Lee, C., Christensen, E. R., and Zeigler, B. P. 1990. System entity structuring and model base management. IEEE Trans. on Systems, Man, and Cybernetics 20(5), pp. 1013\u20131024.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"143122_CR7","doi-asserted-by":"crossref","unstructured":"Kim, T. G., and Zeigler, B. P. 1987. The DEVS formalism: Hierarchical, modular systems specification in an object oriented framework. In Proc. of the Winter Simulation Conf., pp. 559\u2013566.","DOI":"10.1145\/318371.318665"},{"issue":"1","key":"143122_CR8","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/32.210307","volume":"19","author":"R. Kurki-Suonio","year":"1993","unstructured":"Kurki-Suonio, R. 1993. Stepwise design of real-time systems. IEEE Trans. on Software Eng. 19(1), pp. 56\u201369.","journal-title":"IEEE Trans. on Software Eng."},{"issue":"6","key":"143122_CR9","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1109\/32.87279","volume":"17","author":"S. Lee","year":"1991","unstructured":"Lee, S., and Sluizer, S. 1991. An executable language for modeling simple behavior. IEEE Trans. on Software Eng. 17(6), pp. 527\u2013543.","journal-title":"IEEE Trans. on Software Eng."},{"key":"143122_CR10","unstructured":"Park, S. B. 1993. DEVSIM++: A Semantic Based Tool for Object-Oriented Modeling of Discrete Event Systems. MS thesis, Dept. of E.E., KAIST."},{"issue":"1","key":"143122_CR11","first-page":"19","volume":"13","author":"G. P. Hong","year":"1996","unstructured":"Hong, G. P. 1996. A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology. Transactions of the Society for Computer Simulation 13(1), pp. 19\u201334.","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"143122_CR12","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J. M. 1989. The Z Notation: A Reference Manual. New Jersey: Prentice-Hall."},{"issue":"7","key":"143122_CR13","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1109\/71.296320","volume":"5","author":"F. Vallejo","year":"1994","unstructured":"Vallejo, F., Gregorio, J. A., Harbour, M. G., and Drake, J. M. 1994. Shared memory multimicroprocessor operating system with an extended petri net model. IEEE Trans. on Parallel and Distributed Systems 5(7), pp. 749\u2013762.","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"issue":"3","key":"143122_CR14","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","volume":"8","author":"P. Zave","year":"1982","unstructured":"Zave, P. 1982. An operational approach to requirements specification for embedded systems. IEEE Trans. on Software Eng. 8(3), pp. 250\u2013269.","journal-title":"IEEE Trans. on Software Eng."},{"key":"143122_CR15","volume-title":"Multifacetted Modeling and Discrete Event Simulation","author":"B. P. Zeigler","year":"1984","unstructured":"Zeigler, B. P. 1984. Multifacetted Modeling and Discrete Event Simulation. Orlando: Academic Press."},{"key":"143122_CR16","volume-title":"Object-Oriented Simulation with Hierarchical, Modular Models","author":"B. P. Zeigler","year":"1990","unstructured":"Zeigler, B. P. 1990. Object-Oriented Simulation with Hierarchical, Modular Models. Orlando: Academic Press."},{"issue":"3","key":"143122_CR17","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1109\/70.240207","volume":"9","author":"B. P. Zeigler","year":"1993","unstructured":"Zeigler, B. P., and Kim, J. 1993. Extending the DEVS-Scheme knowledge-based simulation environment for real-time event-based control. IEEE Trans. on Robotics and Automation 9(3), pp. 351\u2013356.","journal-title":"IEEE Trans. on Robotics and Automation"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008262409521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008262409521\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008262409521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:15:33Z","timestamp":1753762533000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008262409521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["143122"],"URL":"https:\/\/doi.org\/10.1023\/a:1008262409521","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}