{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:28:01Z","timestamp":1725658081154},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_19","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"258-272","source":"Crossref","is-referenced-by-count":6,"title":["Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages"],"prefix":"10.1007","author":[{"given":"David","family":"Broman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Accellera Organization. Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1 (2009)"},{"key":"19_CR2","volume-title":"The System Designer\u2019s Guide to VHDL-AMS: Analog, Mixed-Signal, and Mixed-Technology Modeling","author":"P.J. Ashenden","year":"2002","unstructured":"Ashenden, P.J., Peterson, G.D., Teegarden, D.A.: The System Designer\u2019s Guide to VHDL-AMS: Analog, Mixed-Signal, and Mixed-Technology Modeling. Morgan Kaufmann Publishers, USA (2002)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11560548_4","volume-title":"Correct Hardware Design and Verification Methods","author":"E. Axelsson","year":"2005","unstructured":"Axelsson, E., Claessen, K., Sheeran, M.: Wired: Wire-Aware Circuit Design. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 5\u201319. Springer, Heidelberg (2005)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/289423.289440","volume-title":"Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming","author":"P. Bjesse","year":"1998","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in Haskell. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, pp. 174\u2013184. ACM Press, New York (1998)"},{"key":"19_CR5","unstructured":"Broman, D.: Flow Lambda Calculus for Declarative Physical Connection Semantics. Technical Reports in Computer and Information Science No. 1. LiU Electronic Press (2007)"},{"key":"19_CR6","unstructured":"Broman, D.: Meta-Languages and Semantics for Equation-Based Modeling and Simulation. PhD thesis, Department of Computer and Information Science, Link\u00f6ping University, Sweden (2010)"},{"issue":"1","key":"19_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.11128\/sne.19.tn.09921","volume":"19","author":"D. Broman","year":"2009","unstructured":"Broman, D., Fritzson, P.: Higher-Order Acausal Models. Simulation News Europe\u00a019(1), 5\u201316 (2009)","journal-title":"Simulation News Europe"},{"key":"19_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3922-0","volume-title":"Continuous System Modeling","author":"F.E. Cellier","year":"1991","unstructured":"Cellier, F.E.: Continuous System Modeling. Springer, New York (1991)"},{"key":"19_CR9","unstructured":"Dassault\u00a0Systems. Multi-Engineering Modeling and Simulation - Dymola - CATIA - Dassault Systemes, \n                  \n                    http:\/\/www.dymola.com\n                  \n                  \n                 (last accessed: September 16, 2011)"},{"key":"19_CR10","unstructured":"Elmqvist, H., Mattsson, S.E., Otter, M.: Modelica - A Language for Physical System Modeling, Visualization and Interaction. In: Proceedings of the IEEE International Symposium on Computer Aided Control System Design (1999)"},{"key":"19_CR11","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P. Fritzson","year":"2004","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, New York (2004)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Furic, S.: Enforcing model composability in Modelica. In: Proceedings of the 7th International Modelica Conference, Como, Italy, pp. 868\u2013879 (2009)","DOI":"10.3384\/ecp09430023"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-24452-0_8","volume-title":"Implementation and Application of Functional Languages","author":"G. Giorgidze","year":"2011","unstructured":"Giorgidze, G., Nilsson, H.: Embedding a Functional Hybrid Modelling Language in Haskell. In: Scholz, S.-B., Chitil, O. (eds.) IFL 2008. LNCS, vol.\u00a05836, pp. 138\u2013155. Springer, Heidelberg (2011)"},{"key":"19_CR14","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. LiU Electronic Press (September 2009)","DOI":"10.3384\/ecp09430137"},{"key":"19_CR15","unstructured":"IEEE Std 1076.1-2007. IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press (2007)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Kunkel, P., Mehrmann, V.: Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society (2006)","DOI":"10.4171\/017"},{"key":"19_CR17","first-page":"737","volume-title":"Proceedings of the 47th Design Automation Conference, DAC 2010","author":"E.A. Lee","year":"2010","unstructured":"Lee, E.A.: CPS foundations. In: Proceedings of the 47th Design Automation Conference, DAC 2010, pp. 737\u2013742. ACM Press, New York (2010)"},{"issue":"3","key":"19_CR18","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1137\/0914043","volume":"14","author":"S.E. Mattsson","year":"1993","unstructured":"Mattsson, S.E., S\u00f6derlind, G.: Index reduction in differential-algebraic equations using dummy derivatives. SIAM Journal on Scientific Computing\u00a014(3), 677\u2013692 (1993)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"19_CR19","unstructured":"Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.2 (2010), \n                  \n                    http:\/\/www.modelica.org"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-36388-2_25","volume-title":"Practical Aspects of Declarative Languages","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional Hybrid Modeling. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 376\u2013390. Springer, Heidelberg (2002)"},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1137\/0909014","volume":"9","author":"C.C. Pantelides","year":"1988","unstructured":"Pantelides, C.C.: The Consistent Initialization of Differential-Algebraic Systems. SIAM Journal on Scientific and Statistical Computing\u00a09(2), 213\u2013231 (1988)","journal-title":"SIAM Journal on Scientific and Statistical Computing"},{"key":"19_CR22","unstructured":"Petzold, L.R.: A Description of DASSL: A Differential\/Algebraic System Solver. In: IMACS Trans. on Scientific Comp., 10th IMACS World Congress on Systems Simulation and Scientific Comp., Montreal, Canada (1982)"},{"key":"19_CR23","unstructured":"Quarles, T.L., Newton, A.R., Pedersen, D.O., Sangiovanni-Vincentelli, A.: SPICE3 Version 3f3 User\u2019s Manual. Technical report, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley (1993)"},{"key":"19_CR24","unstructured":"Jones, S.P.: Haskell 98 Language and Libraries \u2013 The Revised Report. Cambridge University Press (2003)"},{"key":"19_CR25","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/349299.349331","volume-title":"PLDI 2000: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation","author":"Z. Wan","year":"2000","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: PLDI 2000: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 242\u2013252. ACM Press, New York (2000)"},{"key":"19_CR26","unstructured":"Zimmer, D.: Enhancing Modelica towards variable structure systems. In: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, pp. 61\u201370. LiU Electronic Press (2007)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T06:22:51Z","timestamp":1556259771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}