{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:29:13Z","timestamp":1754486953308},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020953","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"282-293","source":"Crossref","is-referenced-by-count":8,"title":["Switched bond graphs as front-end to formal verification of hybrid systems"],"prefix":"10.1007","author":[{"given":"Jan-Erik","family":"Str\u00f6mberg","sequence":"first","affiliation":[]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[]},{"given":"Jan L.","family":"Top","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"22_CR1","series-title":"Dissertation no. ISRN LUTFD2\/TFRT-1043-SE","volume-title":"PhD thesis","author":"M. Andersson","year":"1994","unstructured":"M. Andersson. Object-Oriented Modeling and Simulation of Hybrid Systems. PhD thesis, Lund Institute of Technology, Lund, 1994. Dissertation no. ISRN LUTFD2\/TFRT-1043-SE."},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-57318-6_23","volume":"No. 736","author":"Z. Chaochen","year":"1993","unstructured":"Z. Chaochen, A.P. Ravn, and M.R. Hansen. An extended duration calculus for hybrid real-time systems. In Hybrid Systems, Lecture Notes in Computer Science, No. 736, pages 36\u201359, Berlin, 1993.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"22_CR3","volume-title":"Dymola User's Manual","author":"H. Elmqvist","year":"1994","unstructured":"H. Elmqvist. Dymola User's Manual. Dynasim AB, Lund, 1994."},{"volume-title":"LNCS 736","year":"1992","key":"22_CR4","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Proc. of Workshop on Theory of Hybrid Systems, LNCS 736, Lyngby, October 1992. Springer Verlag."},{"key":"22_CR5","first-page":"23:I","volume":"I","author":"J.C. Hansen","year":"1727","unstructured":"J.C. Hansen. Letters about a siphon machine installation at Harz: September 5, 1727\u2013August 4, 1729. In Collection of the Royal Library, volume I.p.23:I. Stockholm, 1727. Letters 138\u2013140, 142, 143, 147, 151, 154, 160. In German.","journal-title":"Collection of the Royal Library"},{"key":"22_CR6","volume-title":"System dynamics \u2014 A unified approach","author":"D.C. Karnopp","year":"1990","unstructured":"D.C. Karnopp, R.C. Rosenberg, and D. Margolis. System dynamics \u2014 A unified approach (2nd edition). John Wiley & Sons, New York, 1990.","edition":"2nd edition"},{"key":"22_CR7","volume-title":"Christoffer Polhem och Stora Kopparberget","author":"S. Lindroth","year":"1951","unstructured":"S. Lindroth. Christoffer Polhem och Stora Kopparberget. Stora Kopparbergs Bergslags AB, Uppsala, 1951. In Swedish with abstract in German."},{"key":"22_CR8","unstructured":"S.E. Mattsson and M. Andersson. Omola \u2014 An object oriented modeling language. In Jamshidi and Herget, editors, Recent advances in computer-aided control systems engineering, volume 9, pages 291\u2013310, 1993."},{"issue":"5","key":"22_CR9","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/52.156897","volume":"9","author":"M. Morin","year":"1992","unstructured":"M. Morin, S. Nadjm-Tehrani, P. \u00d6sterling, and E. Sandewall. Real-time hierarchical control. IEEE software, 9(5):51\u201357, 1992.","journal-title":"IEEE software"},{"key":"22_CR10","series-title":"Dissertation no. 338","volume-title":"PhD thesis","author":"S. Nadjm-Tehrani","year":"1994","unstructured":"S. Nadjm-Tehrani. Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD thesis, Link\u00f6ping University, Link\u00f6ping, 1994. Dissertation no. 338."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"S. Nadjm-Tehrani and J.E. Str\u00f6mberg. Proving Dynamic Properties in an Aerospace Application. In Proc. of the 16th International Symposium on Real-time Systems. IEEE Computer Society Press, December 1995.","DOI":"10.1109\/REAL.1995.495190"},{"key":"22_CR12","volume-title":"Modelling and verification of the JAS landing gear and hydraulic power supply system","author":"S. Nadjm-Tehrani","year":"1995","unstructured":"S. Nadjm-Tehrani, J.E. Str\u00f6mberg, and A. Jansson. Modelling and verification of the JAS landing gear and hydraulic power supply system. Technical Report to appear, Dept. of Electrical Engineering, Link\u00f6ping University, Sweden, 1995."},{"key":"22_CR13","volume-title":"Analysis and design of engineering systems","author":"H.M. Paynter","year":"1961","unstructured":"H.M. Paynter. Analysis and design of engineering systems. MIT Press, Cambridge, M.A., 1961."},{"key":"22_CR14","series-title":"Dissertation no. 375","volume-title":"PhD thesis","author":"U. S\u00f6derman","year":"1995","unstructured":"U. S\u00f6derman. Conceptual modelling of mode switching physical systems. PhD thesis, Link\u00f6ping University, Link\u00f6ping, 1995. Dissertation no. 375."},{"key":"22_CR15","series-title":"Dissertation no. 353","volume-title":"PhD thesis","author":"J.E. Str\u00f6mberg","year":"1994","unstructured":"J.E. Str\u00f6mberg. A mode switching modelling philosophy. PhD thesis, Link\u00f6ping University, Link\u00f6ping, 1994. Dissertation no. 353."},{"key":"22_CR16","first-page":"115","volume":"25","author":"J.E. Str\u00f6mberg","year":"1993","unstructured":"J.E. Str\u00f6mberg, J.L. Top, and U. S\u00f6derman. Variable causality in bond graphs caused by discrete effects. In Proc. First Int. Conf. on Bond Graph Modeling (ICBGM '93), number 2 in SCS Simulation Series, volume 25, pages 115\u2013119, San Diego, 1993.","journal-title":"Proc. First Int. Conf. on Bond Graph Modeling (ICBGM '93), number 2 in SCS Simulation Series"},{"key":"22_CR17","volume-title":"PhD thesis","author":"J.L. Top","year":"1993","unstructured":"J.L. Top. Conceptual modelling of physical systems. PhD thesis, University of Twente, Enschede, 1993."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T12:00:41Z","timestamp":1554638441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0020953","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}