{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:32:52Z","timestamp":1725615172661},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447121541"},{"type":"electronic","value":"9781447121558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4471-2155-8_61","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T10:45:37Z","timestamp":1317206737000},"page":"479-485","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Software Integration for Flexible Design of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"K.","family":"Ravindran","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,29]]},"reference":[{"key":"61_CR1","doi-asserted-by":"crossref","unstructured":"Eberhart, R.C., Shi, Y.: Computational intelligence. In: Computational Intelligence: Concepts to Implementations, Chap.\u00a02. Morgan Kaufman Publishers, San Francisco (2007)","DOI":"10.1016\/B978-155860759-0\/50002-0"},{"key":"61_CR2","unstructured":"Kabadayi S., Pridgen A., Julien C.: Virtual sensors: abstracting data from physical sensors. Technical Report 2006-01, University of Texas Austin (2006)"},{"key":"61_CR3","unstructured":"Hillier F.S., Lieberman G.J.: Non-linear programming and meta-heuristics. In: Introduction to Operations Research, Chaps.\u00a012, 13, 8th edn., pp. 547\u2013616. McGraw-Hill, NY (2005)"},{"key":"61_CR4","unstructured":"Diao Y., Hellerstein J.L., Kaiser G., Parekh S., Phung D.: Self-managing systems: a control theory foundation. IBM Research Report, RC23374 (W0410-080), Oct 2004"},{"key":"61_CR5","unstructured":"Ravindran K.: Dynamic protocol-level adaptations for performance and availability of distributed network services. In: Modeling Autonomic Communication Environments, Multicon Lecture Notes-no.6, pp. 191\u2013209, Oct 2007"},{"key":"61_CR6","doi-asserted-by":"crossref","unstructured":"Li, B., Nahrstedt, K.: A control-based middleware framework for quality of service adaptations. IEEE JSAC 17(9), 1632\u20131650 (Sept 1999)","DOI":"10.1109\/49.790486"},{"issue":"7","key":"61_CR7","first-page":"1014","volume":"17","author":"C. Lu","year":"2006","unstructured":"Lu C., Lu Y., Abdelzaher T.F., Stankovic J.A., Son S.H.: Feedback control architecture and design methodology for service delay guarantees in web servers. IEEE TPDS 17(7), 1014\u20131027 (Sept 2006)","journal-title":"IEEE TPDS"},{"key":"61_CR8","doi-asserted-by":"crossref","unstructured":"Schaefer I., Heffter A.P.: Slicing for model reduction in adaptive embedded systems development. Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2008), May 2008","DOI":"10.1145\/1370018.1370024"},{"key":"61_CR9","doi-asserted-by":"crossref","unstructured":"Yi J., Woo H., Browne J.C., Mok A.K., Xie F., Atkins E., Lee C.G.: Incorporating resource safety verification to executable model-based development for embedded systems. IEEE Real-time and Embedded Technology and Applications Symposium, pp. 137\u2013146 (2008)","DOI":"10.1109\/RTAS.2008.28"},{"key":"61_CR10","unstructured":"Mikaelian T., Williams B.C., Sachenbacher M.: Probabilistic monitoring from mixed software and hardware specifications. In: Proceedings of ICAP\u201905 Workshop on Verification and Validation of Model-based Planning and Scheduling Systems (2005)"},{"key":"61_CR11","doi-asserted-by":"crossref","unstructured":"Ravindran K.: Information-theoretic treatment of sensor measurements in network systems. In: Proceedings of Network Operations and Management Symposium (NOMS\u201910), IEEE\u2013IFIP, Osaka, Japan, April 2010","DOI":"10.1109\/NOMS.2010.5488452"},{"key":"61_CR12","unstructured":"Rowe A., Bhatia G., Rajkumar R.: A model-based design approach for wireless sensor-actuator networks. In: Proceedings of Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS\u201910), Nov 2010"}],"container-title":["Computer and Information Sciences II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2155-8_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T13:27:49Z","timestamp":1560691669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2155-8_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781447121541","9781447121558"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2155-8_61","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}