{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:22:18Z","timestamp":1771705338602,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bosch"},{"name":"National Instruments"},{"name":"Toyota"},{"name":"Thales"},{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006754","name":"U.S. Army Research Laboratory","doi-asserted-by":"publisher","award":["W911NF-11-2-0038"],"award-info":[{"award-number":["W911NF-11-2-0038"]}],"id":[{"id":"10.13039\/100006754","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0720882, 0931843, 1035672"],"award-info":[{"award-number":["0720882, 0931843, 1035672"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e4det","doi-asserted-by":"publisher","award":["623-2011-955"],"award-info":[{"award-number":["623-2011-955"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1145\/2508443.2508452","type":"proceedings-article","created":{"date-parts":[[2013,7,30]],"date-time":"2013-07-30T13:40:50Z","timestamp":1375191650000},"page":"49-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["Viewpoints, formalisms, languages, and tools for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"David","family":"Broman","sequence":"first","affiliation":[{"name":"University of California, Berkeley and Link\u00f6ping University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1","author":"Accellera Organization","year":"2009","unstructured":"Accellera Organization . Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1 , 2009 . Accellera Organization. Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1, 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2037771"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3922-0","volume-title":"Continuous System Modeling","author":"Cellier F. E.","year":"1991","unstructured":"F. E. Cellier . Continuous System Modeling . Springer-Verlag , New York, USA , 1991 . F. E. Cellier. Continuous System Modeling. Springer-Verlag, New York, USA, 1991."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III: Verification and Control","author":"Daws C.","year":"1996","unstructured":"C. Daws , A. Olivero , S. Tripakis , and S. Yovine . The Tool KRONOS . In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control , volume 1066 of LNCS , pages 208 -- 219 . Springer , 1996 . C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The Tool KRONOS. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, volume 1066 of LNCS, pages 208--219. Springer, 1996."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645370.651300"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"e_1_3_2_1_15_1","volume-title":"Solving ordinary differential equations: Nonstiff problems","author":"Hairer E.","year":"1993","unstructured":"E. Hairer , S. P. N\u00f8rsett , and G. Wanner . Solving ordinary differential equations: Nonstiff problems . Springer , 1993 . E. Hairer, S. P. N\u00f8rsett, and G. Wanner. Solving ordinary differential equations: Nonstiff problems. Springer, 1993."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_18_1","volume-title":"Dept. of Automatic Control","author":"Henriksson D.","year":"2005","unstructured":"D. Henriksson , O. Redell , J. El-Khoury , M. T\u00f6rngren , and K. Arz\u00e9n . Tools for real-time control systems co-design -- a survey. ISRN LUTFD2\/TFRT-7612-SE , Dept. of Automatic Control , Lund Institute of Technology , 2005 . D. Henriksson, O. Redell, J. El-Khoury, M. T\u00f6rngren, and K. Arz\u00e9n. Tools for real-time control systems co-design -- a survey. ISRN LUTFD2\/TFRT-7612-SE, Dept. of Automatic Control, Lund Institute of Technology, 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/894106"},{"key":"e_1_3_2_1_20_1","author":"G","year":"2003","unstructured":"G . J. Holzmann. The SPIN Model Checker. Addison-Wesley , 2003 . G. J. Holzmann. The SPIN Model Checker. Addison-Wesley, 2003.","journal-title":"J. Holzmann. The SPIN Model Checker. Addison-Wesley"},{"key":"e_1_3_2_1_21_1","volume-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions","author":"IEEE 1706.1 Working Group","year":"1999","unstructured":"IEEE 1706.1 Working Group . IEEE Std 1076.1-1999 , IEEE Standard VHDL Analog and Mixed-Signal Extensions . IEEE Press , New York, USA , 1999 . IEEE 1706.1 Working Group. IEEE Std 1076.1-1999, IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press, New York, USA, 1999."},{"key":"e_1_3_2_1_22_1","volume-title":"Recommended Practice for Architectural Description of Software-intensive Systems","author":"IEEE","year":"2011","unstructured":"ISO\/IEC\/ IEEE 42010:2011. Systems and software engineering - Architecture description, the latest edition of the original IEEE Std 1471:2000 , Recommended Practice for Architectural Description of Software-intensive Systems . IEEE and ISO , 2011 . ISO\/IEC\/IEEE 42010:2011. Systems and software engineering - Architecture description, the latest edition of the original IEEE Std 1471:2000, Recommended Practice for Architectural Description of Software-intensive Systems. IEEE and ISO, 2011."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of IFIP Congress 74","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The semantics of a simple language for parallel programming. In Information Processing 74 , Proceedings of IFIP Congress 74 . North-Holland , 1974 . G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, Proceedings of IFIP Congress 74. North-Holland, 1974."},{"key":"e_1_3_2_1_24_1","volume-title":"Switching and finite automata theory","author":"Kohavi Z.","year":"1978","unstructured":"Z. Kohavi . Switching and finite automata theory , 2 nd ed. McGraw-Hill , 1978 . Z. Kohavi. Switching and finite automata theory, 2nd ed. McGraw-Hill, 1978.","edition":"2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","DOI":"10.4171\/017","volume-title":"Differential-Algebraic Equations Analysis and Numerical Solution","author":"Kunkel P.","year":"2006","unstructured":"P. Kunkel and V. Mehrmann . Differential-Algebraic Equations Analysis and Numerical Solution . European Mathematical Society , 2006 . P. Kunkel and V. Mehrmann. Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society, 2006."},{"key":"e_1_3_2_1_26_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 1(1):134--152","author":"Larsen K.","year":"1997","unstructured":"K. Larsen , P. Pettersson , and W. Yi . Uppaal in a nutshell . International Journal on Software Tools for Technology Transfer (STTT), 1(1):134--152 , 1997 . K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT), 1(1):134--152, 1997."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_28_1","volume-title":"Lecture notes on hybrid systems","author":"Lygeros J.","year":"2004","unstructured":"J. Lygeros . Lecture notes on hybrid systems , 2004 . J. Lygeros. Lecture notes on hybrid systems, 2004."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.668092"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.58"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045482"},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR)","volume":"715","author":"Yates R. K.","year":"1993","unstructured":"R. K. Yates . Networks of real-time processes. In E. Best, editor , Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR) , volume LNCS 715 . Springer-Verlag , 1993 . R. K. Yates. Networks of real-time processes. In E. Best, editor, Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR), volume LNCS 715. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_34_1","volume-title":"Theory of Modeling and Simulation","author":"Zeigler B. P.","year":"2000","unstructured":"B. P. Zeigler , H. Praehofer , and T. G. Kim . Theory of Modeling and Simulation . Academic Press , 2 edition, 2000 . B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2 edition, 2000."}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","location":"Innsbruck Austria","acronym":"MODELS '12","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 6th International Workshop on Multi-Paradigm Modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2508443.2508452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2508443.2508452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:39Z","timestamp":1750231719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2508443.2508452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":31,"alternative-id":["10.1145\/2508443.2508452","10.1145\/2508443"],"URL":"https:\/\/doi.org\/10.1145\/2508443.2508452","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}