{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:14:07Z","timestamp":1725549247153},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238416"},{"type":"electronic","value":"9783540304821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30482-1_13","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:27:38Z","timestamp":1267460858000},"page":"61-75","source":"Crossref","is-referenced-by-count":3,"title":["Managing Verification Activities Using SVM"],"prefix":"10.1007","author":[{"given":"Bill","family":"Aldrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ansgar","family":"Fehnker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter H.","family":"Feiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Sivashankar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"OMG model driven architecture, http:\/\/www.omg.org\/mda"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: Nineteenth Annual ACM Symposium on Principles of Programming Languages (1992)","DOI":"10.1145\/143165.143235"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Feiler, P., Lewis, B., Vestal, S.: The SAE Architecture Analysis & Design Language (AADL) Standard: A basis for model-based architecture-driven embedded systems engineering. In: IFIP World Computer Congress - Workshop on Architecture Description Languages (WADL 2004) (2004)","DOI":"10.21236\/ADA612735"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Li, J.: Managing inconsistency in reconfigurable systems. In: IEEE Proceedings Software, pp. 172\u2013179 (1998)","DOI":"10.1049\/ip-sen:19982300"},{"key":"13_CR5","unstructured":"Han, Z., Krogh, B.H.: Using reduced-order models in reachability analysis of hybrid systems. In: IEEE Proc. of American Control Conference (to appear, 2004)"},{"key":"13_CR6","unstructured":"Johnson, L.A.: Software considerations in airborne systems and equipment certification. Technical report, RTCA Inc., Document RTCA\/DO-178B (1992)"},{"key":"13_CR7","first-page":"443","volume-title":"Proceedings of International Conference on Software Maintenance (ICSM)","author":"J. Li","year":"1999","unstructured":"Li, J., Feiler, P.H.: Impact analysis in real-time control systems. In: Proceedings of International Conference on Software Maintenance (ICSM), pp. 443\u2013452. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Moore, B.C.: Principal component analysis in linear systems: Controllability, observability and model reduction. IEEE Transaction on Automatic Control\u00a026(1) (Febuary 1981)","DOI":"10.1109\/TAC.1981.1102568"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Perry, D.E.: The logic of propagation in the Inscape Environment. In: ACM SIGSOFT 1989 Third Symposium on Software Testing, Analysis and Verification, pp. 114\u2013121 (1989)","DOI":"10.1145\/75308.75322"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30482-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:54:29Z","timestamp":1605761669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30482-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238416","9783540304821"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30482-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}