{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:13Z","timestamp":1725564553315},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_18","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"261-273","source":"Crossref","is-referenced-by-count":1,"title":["A Computational Model for Complex Systems of Embedded Systems"],"prefix":"10.1007","author":[{"family":"Luqi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Qiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Maier, M.W.: Architecting Principles for Systems-of-Systems. Technical Report, \n                  \n                    http:\/\/www.infoed.com\/Open\/PAPERS\/systems.htm"},{"key":"18_CR2","unstructured":"Wing, J.: Scenario Graph Generation and MDP-Based Analysis. In: Presentation at ARO Kickoff Meeting. University of Pennsylvania, Philadelphia, PA, May 24 - 25 (2001)"},{"key":"18_CR3","unstructured":"Garlan, D.: Model Checking Publish-Subscribe Software Architectures. In: Presentation at ARO Kickoff Meeting. University of Pennsylvania, Philadelphia, PA, May 24 - 25 (2001)"},{"key":"18_CR4","unstructured":"Clark, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specification, \n                  \n                    http:\/\/citeseer.nj.nec.com\/clarke93verification.html"},{"key":"18_CR5","unstructured":"Dwyer, M., Hatcliff, J., Avrunin, G.: Software Model Checking for Embedded Systems, \n                  \n                    www.cis.ksu.edu\/~dwyer\/projects\/HCES-May-01-1.ppt"},{"key":"18_CR6","unstructured":"Bjorner, N.S., Manna, Z., Sipma, H.B.: Deductive Verification of Real-time Systems Using SteP. Technical Report STAN-CS-TR-98-1616. Computer Science Department, Stanford University (1998)"},{"key":"18_CR7","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Cha, S.D.: Automatic Test Generation from Statecharts Using Model Checking. In: Proceedings International Workshop on Formal Approaches to Testing of Software (August 2001)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In: Proceedings of 3rd IEEE Real-Time Technology and Applications Symposium (RTAS 1997) (June 1997)","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"18_CR9","unstructured":"Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime Assurance Based On Formal Specifications. In: Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 28-July1 (1999)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Wang, S., Shin, K.G.: An Architecture for Embedded Software Integration Using Reusable Components. In: Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose, CA (2000)","DOI":"10.1145\/354880.354896"},{"key":"18_CR11","unstructured":"Broy, M.: Specification and Modeling: An Academic Perspective. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, May 12- 19 (2001)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"1409","DOI":"10.1109\/32.6186","volume":"14","author":"Luqi","year":"1988","unstructured":"Luqi, Berzins, V., Yeh, R.: A Prototyping Language for Real-time Software. IEEE Transactions on Software Engineering\u00a014, 1409\u20131422 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR13","unstructured":"Saridakis, T.: Robust Development of Dependable Software Systems. Technical Report. Institut National De Recherche en Informatique et en Automatique, INRIA (1999)"},{"key":"18_CR14","unstructured":"Malek, M.: Dependability Concepts, Measures and Models. Technical Report, \n                  \n                    http:\/\/www.informatik.hu-berlin.de\/rok\/zs\/zs2_1-4.pdf"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T19:57:17Z","timestamp":1553025437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}