{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T14:35:50Z","timestamp":1778596550021,"version":"3.51.4"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"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":["Annals of Operations Research"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1023\/a:1013103406241","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T20:50:38Z","timestamp":1040676638000},"page":"181-212","source":"Crossref","is-referenced-by-count":1,"title":["Simulation Model Development and Analysis in UNITY"],"prefix":"10.1007","volume":"104","author":[{"given":"Ernest H.","family":"Page","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Abrams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"385283_CR1","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","volume":"SE-12","author":"B. Auernheimer","year":"1986","unstructured":"B. Auernheimer and R.A. Kemmerer, RT_ASLAN: A specification language for real-time systems, IEEE Trans. Software Engrg. SE-12(9) (1986) 879\u2013889.","journal-title":"IEEE Trans. Software Engrg."},{"issue":"1","key":"385283_CR2","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0305-0548(86)90064-X","volume":"1","author":"O. Balci","year":"1986","unstructured":"O. Balci, Requirements for model development environments, Computers and Operations Research 1(1) (1986) 53\u201367.","journal-title":"Computers and Operations Research"},{"issue":"11","key":"385283_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","volume":"16","author":"R. Balzer","year":"1983","unstructured":"R. Balzer, T.E. Cheatham and C. Green, Software technology in the 1990's: using a new paradigm, IEEE Computer 16(11) (1983) 39\u201345.","journal-title":"IEEE Computer"},{"key":"385283_CR4","unstructured":"R. Balzer and N. Goldman, Principles of good software specification and their implication for specification languages, in: Proceedings of the IEEE Conf. on Specification for Reliable Software (April 1979) pp. 58-67."},{"key":"385283_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: A Foundation (Addison-Wesley, Reading, MA, 1988)."},{"key":"385283_CR6","unstructured":"D.R. Cox and W.L. Smith, Queues (Methuen, 1961)."},{"key":"385283_CR7","doi-asserted-by":"crossref","unstructured":"B.A. Cota and R.G. Sargent, Simultaneous events and distributed simulation, in: Proceedings of the 1990 Winter Simulation Conference, New Orleans, LA (December 1990) pp. 436-440.","DOI":"10.1109\/WSC.1990.129556"},{"key":"385283_CR8","doi-asserted-by":"crossref","unstructured":"E.J. Derrick, O. Balci and R.E. Nance, A comparison of selected conceptual frameworks for simulation modeling, in: Proc. 1989 Winter Simulation Conf., Washington, DC (December) pp. 711-718.","DOI":"10.1109\/WSC.1989.718746"},{"key":"385283_CR9","unstructured":"E. Dijkstra, Notes on structured programming, in: Structured Programming, eds. O.J. Dahl, E. Dijkstra and C.A.R. Hoare (Academic Press, 1972)."},{"key":"385283_CR10","doi-asserted-by":"crossref","unstructured":"R.W. Floyd, Assigning meanings to programs, in: Proc. Symp. Appl. Math. (Amer. Math. Soc., 1976) pp. 19-32.","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"10","key":"385283_CR11","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"R.M. Fujimoto","year":"1990","unstructured":"R.M. Fujimoto, Parallel discrete event simulation, Comm. ACM 33(10) (1990) 30\u201353.","journal-title":"Comm. ACM"},{"issue":"9","key":"385283_CR12","doi-asserted-by":"crossref","first-page":"1005","DOI":"10.1109\/32.58787","volume":"16","author":"D.M. Goldschlag","year":"1990","unstructured":"D.M. Goldschlag, Mechanically verifying concurrent programs with the Boyer-Moore prover, IEEE Trans. Software Engrg. 16(9) (1990) 1005\u20131023.","journal-title":"IEEE Trans. Software Engrg."},{"key":"385283_CR13","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna and A. Pnueli, An interleaving model for real time, in: Proc. 5th Jerusalem Conf. on Information Technology (IEEE Computer Society Press, 1990) pp. 717-730.","DOI":"10.1109\/JCIT.1990.128356"},{"key":"385283_CR14","doi-asserted-by":"crossref","unstructured":"D. Jefferson, Virtual Time, ACM Trans. on Programming Languages and Systems (1985).","DOI":"10.1145\/3916.3988"},{"issue":"1","key":"385283_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1287\/mnsc.18.1.59","volume":"18","author":"R.E. Nance","year":"1971","unstructured":"R.E. Nance, On time flow mechanisms for discrete system simulation, Management Science 18(1) (1971) 59\u201373.","journal-title":"Management Science"},{"issue":"4","key":"385283_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/358598.358601","volume":"24","author":"R.E. Nance","year":"1981","unstructured":"R.E. Nance, The time and state relationships in simulation modeling, Comm. ACM 24(4) (1981) 173\u2013179.","journal-title":"Comm. ACM"},{"key":"385283_CR17","doi-asserted-by":"crossref","unstructured":"R.E. Nance, and C.M. Overstreet, Exploring the forms of model diagnosis in a simulation support environment, in: Proceedings of the 1987 Winter Simulation Conf., Atlanta, GA (December 14-16, 1987) pp. 590-596.","DOI":"10.1145\/318371.318669"},{"key":"385283_CR18","volume-title":"Model specification and analysis for discrete event simulation","author":"C.M. Overstreet","year":"1982","unstructured":"C.M. Overstreet, Model specification and analysis for discrete event simulation, Ph.D. Dissertation, Dept. of Computer Science, Virginia Tech, Blacksburg, VA (December 1982)."},{"issue":"2","key":"385283_CR19","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/2786.2792","volume":"28","author":"C.M. Overstreet","year":"1985","unstructured":"C.M. Overstreet and R.E. Nance, A specification language to assist in analysis of discrete event simulation models, Comm. ACM 28(2) (1985) 190\u2013201.","journal-title":"Comm. ACM"},{"key":"385283_CR20","doi-asserted-by":"crossref","unstructured":"E.H. Page and J.M. Opper, Observations on the complexity of composable simulation, in: Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ (December 5-8, 1999) pp. 553-560.","DOI":"10.1145\/324138.324433"},{"issue":"9","key":"385283_CR21","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/363219.363233","volume":"12","author":"D.L. Parnas","year":"1969","unstructured":"D.L. Parnas, On simulating networks of parallel processes in which simultaneous events may occur, Comm. ACM 12(9) (1969) 519\u2013531.","journal-title":"Comm. ACM"},{"key":"385283_CR22","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"A. Pnueli, The temporal semantics of concurrent programs, Theoretical Computer Science 13 (1981) 45\u201360.","journal-title":"Theoretical Computer Science"},{"key":"385283_CR23","doi-asserted-by":"crossref","unstructured":"A. Pnueli and E. Harel, Applications of temporal logic to the specification of real time systems, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, ed. M. Joseph (Springer, 1988) pp. 84-98.","DOI":"10.1007\/3-540-50302-1_4"},{"issue":"3","key":"385283_CR24","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G.-C. Roman","year":"1997","unstructured":"G.-C. Roman, P.J. McCann and J.Y. Plun, Mobile UNITY: reasoning and specification in mobile computing, ACM Trans. Software Engrg. and Methodology 6(3) (1997) 250\u2013282.","journal-title":"ACM Trans. Software Engrg. and Methodology"},{"issue":"3","key":"385283_CR25","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1145\/129393.129394","volume":"14","author":"A.U. Shankar","year":"1992","unstructured":"A.U. Shankar and S. Lam, A stepwise refinement heuristic for protocol construction, ACM Trans. on Programming Languages and Systems 14(3) (1992) 417\u2013461.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"7","key":"385283_CR26","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W. Swartout","year":"1982","unstructured":"W. Swartout and R. Balzer, On the inevitable intertwining of specification and implementation, Comm. ACM 25(7) (1982) 438\u2013440.","journal-title":"Comm. ACM"},{"issue":"1","key":"385283_CR27","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/200994.200997","volume":"17","author":"Y.K. Tsai","year":"1995","unstructured":"Y.K. Tsai and R.L. Bagrodia, Deducing fairness properties in UNITY logic-A new completeness result, ACM Trans. on Programming Languages and Systems 17(1) (1995) 16\u201327.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"385283_CR28","doi-asserted-by":"crossref","unstructured":"F. Wieland, The threshold of event simultaneity, in: Proceedings of the 11th Workshop on Parallel and Distributed Simulation, Lockenhaus, Germany (June 1997) pp. 56-59.","DOI":"10.1109\/PADS.1997.594586"},{"key":"385283_CR29","volume-title":"Theory of Modelling and Simulation","author":"B.P. Zeigler","year":"1976","unstructured":"B.P. Zeigler, Theory of Modelling and Simulation (Wiley, New York, NY, 1976)."},{"key":"385283_CR30","volume-title":"Multifaceted Modlling and Discrete Event Simulation","author":"B.P. Zeigler","year":"1984","unstructured":"B.P. Zeigler, Multifaceted Modlling and Discrete Event Simulation (Academic Press, Orlando, FL, 1984)."},{"key":"385283_CR31","volume-title":"Object-Oriented Simulation and Hierarchical, Modular Models","author":"B.P. Zeigler","year":"1990","unstructured":"B.P. Zeigler, Object-Oriented Simulation and Hierarchical, Modular Models (Academic Press, Orlando, FL, 1990)."}],"container-title":["Annals of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013103406241.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013103406241\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013103406241.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:51:49Z","timestamp":1747547509000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013103406241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":31,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["385283"],"URL":"https:\/\/doi.org\/10.1023\/a:1013103406241","relation":{},"ISSN":["0254-5330","1572-9338"],"issn-type":[{"value":"0254-5330","type":"print"},{"value":"1572-9338","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}