{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:39:47Z","timestamp":1649137187509},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,11,21]],"date-time":"2012-11-21T00:00:00Z","timestamp":1353456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s10766-012-0226-5","type":"journal-article","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T12:18:38Z","timestamp":1353586718000},"page":"261-304","source":"Crossref","is-referenced-by-count":2,"title":["UniTi: Unified Composition and Time for Multi-domain Model-based Design"],"prefix":"10.1007","volume":"41","author":[{"given":"Kenneth C.","family":"Rovers","sequence":"first","affiliation":[]},{"given":"Jan","family":"Kuper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,11,21]]},"reference":[{"issue":"1\/2","key":"226_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/1000000001","volume":"1","author":"L.P. Carloni","year":"2006","unstructured":"Carloni L.P., Passerone R., Pinto A., Sangiovanni-Vincentelli A.L.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1(1\/2), 1\u2013193 (2006). doi: 10.1561\/1000000001","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"226_CR2","unstructured":"Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: ACM SIGPLAN Haskell Workshop (HW\u20192001), pp. 41\u201369 (2001)"},{"issue":"1","key":"226_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker J. et\u00a0al.: Taming heterogeneity\u2014the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003). doi: 10.1109\/JPROC.2002.805829","journal-title":"Proc. IEEE"},{"key":"226_CR4","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP \u201997), pp. 263\u2013273. ACM (1997). doi: 10.1145\/258948.258973","DOI":"10.1145\/258948.258973"},{"key":"226_CR5","doi-asserted-by":"crossref","unstructured":"Erbas, C., Pimentel, A.D., Thompson, M., Polstra, S.: A framework for system-level modeling and simulation of embedded systems architectures. EURASIP J. Embed. Syst. 2007(1) (2007). doi: 10.1155\/2007\/82123","DOI":"10.1155\/2007\/82123"},{"key":"226_CR6","doi-asserted-by":"crossref","unstructured":"Feng,T.H., Lee, E.A.: Scalable models using model transformation. In: 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB). EECS Department, University of California, Berkeley (2008)","DOI":"10.21236\/ADA518855"},{"key":"226_CR7","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Engelson, V.: Modelica\u2014a unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP\u201998\u2014Object-Oriented Programming. Springer, Berlin (1998). doi: 10.1007\/BFb0054087","DOI":"10.1007\/BFb0054087"},{"key":"226_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: 14th International Symposium on Formal Methods (FM 2006), pp. 1\u201315. Springer (2006)","DOI":"10.1007\/11813040_1"},{"key":"226_CR9","doi-asserted-by":"crossref","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, robots, and functional reactive programming. In: Advanced Functional Programming, pp. 159\u2013187. Springer, Berlin (2003). doi: 10.1007\/978-3-540-44833-4_6","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"226_CR10","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2008), pp. 363\u2013369. IEEE (2008). doi: 10.1109\/ISORC.2008.25","DOI":"10.1109\/ISORC.2008.25"},{"issue":"5","key":"226_CR11","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"E.A. Lee","year":"2009","unstructured":"Lee E.A.: Computing needs time. Commun. ACM 52(5), 70\u201379 (2009). doi: 10.1145\/1506409.1506426","journal-title":"Commun. ACM"},{"issue":"9","key":"226_CR12","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee E.A., Messerchmitt D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987). doi: 10.1109\/PROC.1987.13876","journal-title":"Proc. IEEE"},{"issue":"5","key":"226_CR13","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"E.A. Lee","year":"1995","unstructured":"Lee E.A., Parks T.M.: Dataflow process networks. Proc. IEEE 83(5), 773\u2013801 (1995). doi: 10.1109\/5.381846","journal-title":"Proc. IEEE"},{"issue":"12","key":"226_CR14","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee E.A., Sangiovanni-Vincentelli A.L.: A framework for comparing models of computation. IEEE Trans. Computer-Aided Des. Integr. Circuits Syst. 17(12), 1217\u20131229 (1998). doi: 10.1109\/43.736561","journal-title":"IEEE Trans. Computer-Aided Des. Integr. Circuits Syst."},{"issue":"13\u201314","key":"226_CR15","doi-asserted-by":"crossref","first-page":"1907","DOI":"10.1016\/S0167-8191(99)00070-8","volume":"25","author":"W.A. Najjar","year":"1999","unstructured":"Najjar W.A., Lee E.A., Gao G.R.: Advances in the dataflow computational model. Parallel Comput. 25(13\u201314), 1907\u20131929 (1999). doi: 10.1016\/S0167-8191(99)00070-8","journal-title":"Parallel Comput."},{"key":"226_CR16","doi-asserted-by":"crossref","unstructured":"Nikolov, H., et\u00a0al.: Daedalus: toward composable multimedia MP-SoC design. In: 45th Annual Design Automation Conference (DAC\u201908), pp. 574\u2013579. ACM (2008). doi: 10.1145\/1391469.1391615","DOI":"10.1145\/1391469.1391615"},{"key":"226_CR17","unstructured":"Object Management Group, Inc. (OMG): OMG systems modeling language (OMG SysML). Technical report version 1.1 (2008)"},{"key":"226_CR18","unstructured":"OMG Architecture Board ORMSC: Model driven architecture (MDA). Technical report ormsc\/2001-07-01 (2001)"},{"key":"226_CR19","doi-asserted-by":"crossref","unstructured":"Peterson, J., Hager, G.D., Hudak, P.: A language for declarative robotic programming. In: IEEE International Conference on Robotics and Automation, pp. 1144\u20131151. IEEE (1999). doi: 10.1109\/ROBOT.1999.772516","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"226_CR20","unstructured":"Reekie, H.J.: Realtime signal processing: dataflow, visual, and functional programming. Ph.D. thesis, University of Technology Sydney (1995)"},{"key":"226_CR21","doi-asserted-by":"crossref","unstructured":"Rovers, K.C.: Functional model-based design of embedded systems with UniTi. Ph.D. thesis, University of Twente (2011). doi: 10.3990\/1.9789036532945","DOI":"10.3990\/1.9789036532945"},{"key":"226_CR22","doi-asserted-by":"crossref","unstructured":"Rovers, K.C., van de Burgwal, M.D., Kuper, J., Kokkeler, A.B.J., Smit, G.J.M.: Multi-domain transformational design flow for embedded systems. In: International Conference on Embedded Computer Systems (SAMOS 2011), pp. 93\u2013101. IEEE Computer Society (2011). doi: 10.1109\/SAMOS.2011.6045449","DOI":"10.1109\/SAMOS.2011.6045449"},{"key":"226_CR23","doi-asserted-by":"crossref","unstructured":"Rovers, K.C., Kuper, J., van de Burgwal, M.D., Kokkeler, A.B.J., Smit, G.J.M.: Mixed continuous\/discrete time modelling with exact time adjustments. In: 7th International Wireless Communications and Mobile Computing Conference (CyPhy\u201911), pp. 1111\u20131116. IEEE (2011). doi: 10.1109\/IWCMC.2011.5982696","DOI":"10.1109\/IWCMC.2011.5982696"},{"issue":"2","key":"226_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/2000367.2000373","volume":"8","author":"K.C. Rovers","year":"2011","unstructured":"Rovers K.C., Kuper J., Smit G.J.M.: The problem with time in mixed continuous\/discrete time modelling. ACM SIGBED Rev. 8(2), 27\u201330 (2011). doi: 10.1145\/2000367.2000373","journal-title":"ACM SIGBED Rev."},{"key":"226_CR25","unstructured":"Sander, I.: System modeling and design refinement in ForSyDe. Ph.D. thesis, KTH Royal Institute of Technology (2003)"},{"issue":"1","key":"226_CR26","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I. Sander","year":"2004","unstructured":"Sander I., Jantsch A.: System modeling and transformational design refinement in ForSyDe. IEEE Trans. Computer-Aided Des. Integr. Circuits Syst. 23(1), 17\u201332 (2004). doi: 10.1109\/TCAD.2003.819898","journal-title":"IEEE Trans. Computer-Aided Des. Integr. Circuits Syst."},{"key":"226_CR27","volume-title":"Continuous and Discrete Signals and Systems","author":"S.S. Soliman","year":"1998","unstructured":"Soliman S.S., Srinath M.D.: Continuous and Discrete Signals and Systems, 2nd edn. Prentice Hall, Englewood Cliffs, NJ (1998)","edition":"2"},{"issue":"1","key":"226_CR28","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder P.W., Hammond K., Loidl H.W., Peyton Jones S.L.: Algorithm + strategy = parallelism. J. Funct. Program. 8(1), 23\u201360 (1998). doi: 10.1017\/S0956796897002967","journal-title":"J. Funct. Program."},{"key":"226_CR29","doi-asserted-by":"crossref","unstructured":"van de Burgwal, M.D., Rovers, K.C., Blom, K.C.H., Kokkeler, A.B.J., Smit, G.J.M.: Mobile satellite reception with a virtual satellite dish based on a reconfigurable multi-processor architecture. Microprocess. Microsyst. 1\u201329 (2011). doi: 10.1016\/j.micpro.2011.08.005","DOI":"10.1016\/j.micpro.2011.08.005"},{"key":"226_CR30","doi-asserted-by":"crossref","unstructured":"Vachoux, A., Grimm, C., Einwich, K.: SystemC-AMS requirements, design objectives and rationale. In: Design, Automation and Test in Europe Conference and Exhibition (DATE 2003), pp. 388\u2013393. IEEE (2003). doi: 10.1109\/DATE.2003.1253639","DOI":"10.1109\/DATE.2003.1253639"},{"key":"226_CR31","doi-asserted-by":"crossref","unstructured":"Wan, Z., Taha, W., Hudak, P.: Real-time FRP. In: 6th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201901), pp. 146\u2013156. ACM (2001). doi: 10.1145\/507635.507654","DOI":"10.1145\/507635.507654"},{"key":"226_CR32","doi-asserted-by":"crossref","unstructured":"Wiggers, M.H.: Aperiodic multiprocessor scheduling for real-time stream processing applications. Ph.D. thesis, University of Twente (2009). doi: 10.3990\/1.9789036528504","DOI":"10.3990\/1.9789036528504"},{"key":"226_CR33","unstructured":"Zheng, H.: Operational semantics of hybrid systems. Ph.D. thesis, University of California Berkeley (2007)"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0226-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-012-0226-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-012-0226-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T19:30:12Z","timestamp":1562355012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-012-0226-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,21]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["226"],"URL":"https:\/\/doi.org\/10.1007\/s10766-012-0226-5","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11,21]]}}}