{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:31:35Z","timestamp":1743075095526,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_15","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"198-217","source":"Crossref","is-referenced-by-count":12,"title":["Systems Modeling and Programming in a Unified Environment Based on Julia"],"prefix":"10.1007","author":[{"given":"Hilding","family":"Elmqvist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toivo","family":"Henningsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Otter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"15_CR1","unstructured":"Modelica Association: The Modelica Language Specification, Version 3.3 Revision 1, (2014). https:\/\/www.modelica.org\/documents\/ModelicaSpec33Revision1.pdf"},{"key":"15_CR2","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing (2015). http:\/\/arxiv.org\/abs\/1411.1607"},{"key":"15_CR3","unstructured":"Zimmer, D.: Equation-Based Modeling of Variable Structure Systems, Ph.D. Dissertation, ETH Z\u00fcrich (2010). http:\/\/e-collection.library.ethz.ch\/eserv\/eth:1512\/eth-1512-02.pdf"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Giorgidze, G., Nilsson, H.: Higher-order non-causal modelling and simulation of structurally dynamic systems. In: Proceedings of the 7th International Modelica Conference, Como, Italy, pp. 208\u2013218. Link\u00f6ping University Electronic Press, September 2009. http:\/\/www.ep.liu.se\/ecp\/043\/022\/ecp09430137.pdf","DOI":"10.3384\/ecp09430137"},{"key":"15_CR5","unstructured":"Broman, D., Siek, J.G.: Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, University of California at Berkeley, No. UCB\/EECS-2012-173 (2012). www.eecs.berkeley.edu\/Pubs\/TechRpts\/2012\/EECS-2012-173.html"},{"key":"15_CR6","unstructured":"Short, T.: Sims - A Julia package for equation-based modeling and simulations. https:\/\/github.com\/tshort\/Sims.jl"},{"key":"15_CR7","unstructured":"Modelica Association: The Modelica Standard Library, Version 3.3.2 (2016). https:\/\/github.com\/modelica\/Modelica"},{"issue":"2","key":"15_CR8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1137\/0909014","volume":"9","author":"C Pantelides","year":"1988","unstructured":"Pantelides, C.: The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Comput. 9(2), 213\u2013231 (1988)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"15_CR9","unstructured":"Elmqvist, H.: A Structured Model Language for Large Continuous Systems. Ph.D. thesis ISRN LUTFD2\/TFRT\u20131015\u2013SE, Department of Automatic Control, Lund University, Sweden (1978). http:\/\/www.control.lth.se\/documents\/1978\/elm78dis.pdf"},{"key":"15_CR10","unstructured":"Hindmarsh, A.C., Serban, R., Collier, A.: User Documentation for IDA v2.8.2 (Sundials v2.6.2). UCRL-SM-208112 (2015). http:\/\/computation.llnl.gov\/projects\/sundials-suite-nonlinear-differential-algebraic-equation-solvers"},{"key":"15_CR11","unstructured":"Davis, T.A., Ekanathan, P.N.: Algorithm 907: KLU, a direct sparse solver for circuit simulation problems. ACM Trans. Math. Soft. 37(3), 36:1\u201336:17 (2010). http:\/\/faculty.cse.tamu.edu\/davis\/suitesparse.html . (KLU is part of SuiteSparse)"},{"key":"15_CR12","unstructured":"Short, T.: Julia interface to Sundials 2.5.0. https:\/\/github.com\/JuliaLang\/Sundials.jl"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Elmqvist, H., Otter, M., Mattsson, S.E.: Fundamentals of synchronous control in Modelica. In: Proceedings of 9th International Modelica Conference, Munich, Germany, 3\u20135 September 2012","DOI":"10.3384\/ecp1207615"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:55Z","timestamp":1498335715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}