{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:39:21Z","timestamp":1743050361025,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642220449"},{"type":"electronic","value":"9783642220456"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22045-6_9","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T09:16:46Z","timestamp":1309166206000},"page":"133-140","source":"Crossref","is-referenced-by-count":1,"title":["Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Porter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Balasubramanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Hemingway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e1nos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"231","volume-title":"EMSOFT 2007: Proc. of the 7th ACM & IEEE Intl. Conf. on Embedded Software","author":"A. Benveniste","year":"2007","unstructured":"Benveniste, A., Caspi, P., di Natale, M., Pinello, C., Sangiovanni-Vincentelli, A., Tripakis, S.: Loosely time-triggered architectures based on communication-by-sampling. In: EMSOFT 2007: Proc. of the 7th ACM & IEEE Intl. Conf. on Embedded Software, pp. 231\u2013239. ACM, New York (2007)"},{"key":"9_CR2","first-page":"53","volume":"20","author":"R. Bruni","year":"2010","unstructured":"Bruni, R., Gadducci, F., Lafuente, A.L.: An Algebra of Hierarchical Graphs and Its Application to Structural Encoding. Scientific Annals of Computer Science\u00a020, 53\u201396 (2010)","journal-title":"Scientific Annals of Computer Science"},{"key":"9_CR3","unstructured":"Easwaran, A.: Advances in hierarchical real-time systems: Incrementality, optimality, and multiprocessor clustering. Ph.D. thesis, Univ. of Pennsylvania (2008)"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"D.B. Johnson","year":"1975","unstructured":"Johnson, D.B.: Finding all the elementary circuits of a directed graph. SIAM J. Comput.\u00a04(1), 77\u201384 (1975)","journal-title":"SIAM J. Comput."},{"issue":"9","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proc. of the IEEE"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1137\/0205007","volume":"5","author":"P. Mateti","year":"1976","unstructured":"Mateti, P., Deo, N.: On algorithms for enumerating all circuits of a graph. SIAM J. Comput.\u00a05(1), 90\u201399 (1976)","journal-title":"SIAM J. Comput."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Porter, J., Balasubramanian, D., Hemingway, G., Sztipanovits, J.: Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models (Extended Version) (April 2011), http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/incr_cycle_analysis.pdf","DOI":"10.1007\/978-3-642-22045-6_9"},{"key":"9_CR8","unstructured":"Porter, J., Hemingway, G., Nine, H., vanBuskirk, C., Kottenstette, N., Karsai, G., Sztipanovits, J.: The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis (September 2010), http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/ESMoL_TR.pdf"},{"key":"9_CR9","unstructured":"Shin, I.: Compositional Framework for Real-Time Embedded Systems. Ph.D. thesis, Univ. of Pennsylvania, Philadelphia (2006)"},{"key":"9_CR10","volume-title":"The Boost Graph Library: User Guide and Reference Manual","author":"J.G. Siek","year":"2001","unstructured":"Siek, J.G., Lee, L.Q., Lumsdaine, A.: The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley Professional, Reading (2001)"},{"key":"9_CR11","unstructured":"The MathWorks, Inc.: Simulink\/Stateflow Tools, http:\/\/www.mathworks.com"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/362814.362819","volume":"13","author":"J.C. Tiernan","year":"1970","unstructured":"Tiernan, J.C.: An efficient search algorithm to find the elementary circuits of a graph. Commun. ACM\u00a013, 722\u2013726 (1970), http:\/\/doi.acm.org\/10.1145\/362814.362819","journal-title":"Commun. ACM"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Bui, D., Geilen, M., Rodiers, B., Lee, E.A.: Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. Tech. Rep. UCB\/EECS-2010-52, Univ. of California, Berkeley (2010)","DOI":"10.21236\/ADA538756"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Lee, E.: Causality interfaces for actor networks. ACM Trans. on Emb. Computing Systems\u00a07(3) (April 2008)","DOI":"10.1145\/1347375.1347382"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22045-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T07:39:15Z","timestamp":1560325155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22045-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220449","9783642220456"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22045-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}