{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:40Z","timestamp":1725544780606},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341413"},{"type":"electronic","value":"9783540341420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752578_125","type":"book-chapter","created":{"date-parts":[[2006,6,9]],"date-time":"2006-06-09T03:44:36Z","timestamp":1149824676000},"page":"1034-1041","source":"Crossref","is-referenced-by-count":2,"title":["Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS"],"prefix":"10.1007","author":[{"given":"Yuhong","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Simon","family":"Oberth\u00fcr","sequence":"additional","affiliation":[]},{"given":"Norma","family":"Montealegre","sequence":"additional","affiliation":[]},{"given":"Franz J.","family":"Rammig","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Kardos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"125_CR1","unstructured":"Kopetz, H.: Real Time Systems, design principles for distributed embedded applications (1997)"},{"key":"125_CR2","doi-asserted-by":"crossref","unstructured":"Maehle, E., Markus, F.J.: Fault tolerant dynamic task scheduling based on dataflow diagram. In: International Paralell and Distributed Processing Symposium (1997)","DOI":"10.1007\/978-1-4615-5449-3_21"},{"key":"125_CR3","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems (2000)"},{"key":"125_CR4","unstructured":"Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Leavens, G.T., Sitaraman, M., Giannakopoulou, D. (eds.) Workshop on Specification and Verification of Component-Based Systems (2001)"},{"key":"125_CR5","unstructured":"Chen, F., Rosu, G.: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In: Proceedings of the 2003 Workshop on Runtime Verification (RV 2003), Boulder, Colorado, USA (2003)"},{"key":"125_CR6","unstructured":"Havelund, K., Rosu, G.: Java PathExplorer \u2014 a runtime verification tool. In: Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS 2001), Montreal, Canada (2001)"},{"key":"125_CR7","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-time UML Designs. In: Proceedings of the European Software Engineering Conference (ESEC), Helsinki, Finland (2003)","DOI":"10.1145\/949952.940078"},{"key":"125_CR8","unstructured":"Giese, H., Burmester, S.: Real-time Statechart Semantics. Technical Report tr-ri-\u00a003-239, Computer Science Department, Paderborn University (2003)"},{"key":"125_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, Springer, Heidelberg (2002)"},{"key":"125_CR10","unstructured":"Gurevich, Y., Schulte, W., Campbell, C., Grieskamp, W.: AsmL: The Abstract State Machine Language Version 2.0, http:\/\/research.microsoft.com\/foundations\/AsmL\/"},{"key":"125_CR11","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BFb0023727","volume-title":"Proceedings of the 2nd International Workshop on Computer Aided Verification","author":"E.A. Emerson","year":"1991","unstructured":"Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. In: Proceedings of the 2nd International Workshop on Computer Aided Verification, London, UK, pp. 136\u2013145. Springer, Heidelberg (1991)"},{"key":"125_CR12","doi-asserted-by":"crossref","unstructured":"Shukla, S., Rosenkrantz, D.J., Hunt III, H.B., Stearns, R.E.: A HORNSAT Based Approach to the Polynomial Time Decidability of Simulation Relations for Finite State Processes. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, vol.\u00a035 (1997)","DOI":"10.1090\/dimacs\/035\/17"},{"issue":"1","key":"125_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0743-1066(91)90006-B","volume":"10","author":"G. Ausiello","year":"1991","unstructured":"Ausiello, G., Italiano, G.F.: On-line algorithms for polynomially solvable satisfiability problems. J. Log. Program\u00a010(1), 69\u201390 (1991)","journal-title":"J. Log. Program"},{"issue":"2-3","key":"125_CR14","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Memory-efficient algorithms for the verification of temporal properties. Form. Methods Syst. Des.\u00a01(2-3), 275\u2013288 (1992)","journal-title":"Form. Methods Syst. Des."},{"key":"125_CR15","unstructured":"Zhao, Y., Oberth\u00fcr, S., Kardos, M., Rammig, F.J.: Model-based runtime verification framework for self-optimizing systems. In: Proceedings of the 2005 Workshop on Runtime Verification (RV 2005), Edinburgh, Scotland, UK (2005)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11752578_125.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:02:28Z","timestamp":1619506948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752578_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341413","9783540341420"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11752578_125","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}