{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:36:30Z","timestamp":1730208990239,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342842","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"265-271","source":"Crossref","is-referenced-by-count":1,"title":["Modular design of reactive systems"],"prefix":"10.1109","author":[{"given":"C.C.","family":"Seceleanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Seceleanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","article-title":"On designing for modularity","volume":"534","author":"seceleanu","year":"2003","journal-title":"TUCS Technical Report"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59155-9_10"},{"journal-title":"Digital Signal Processing Practical Approach","year":"1997","author":"ifeachor","key":"11"},{"journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"lamport","key":"12"},{"key":"3","first-page":"2","article-title":"Continuous action systems as a model for hybrid systems","volume":"8","author":"back","year":"2001","journal-title":"Nordic Journal of Computing"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48023"},{"key":"1","first-page":"67","article-title":"Refinement calculus, part II: Parallel and reactive programs","volume":"430","author":"back","year":"1990","journal-title":"LNCS"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0005-6"},{"key":"6","first-page":"107","article-title":"Action systems with synchronous communication","volume":"a 56","author":"back","year":"1994","journal-title":"IFIP Trans"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015020"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-64358-3_31"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45648-1_23"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342842.pdf?arnumber=1342842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T19:19:18Z","timestamp":1489519158000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342842\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342842","relation":{},"subject":[]}}