{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:29:30Z","timestamp":1742390970681},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219743"},{"type":"electronic","value":"9783540246862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24686-2_29","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:10:00Z","timestamp":1280761800000},"page":"466-485","source":"Crossref","is-referenced-by-count":5,"title":["Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis"],"prefix":"10.1007","author":[{"given":"Andr\u00e9s","family":"Terrasa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillem","family":"Bernat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"1003.13-1998 IEEE Standard for Information Technology\u2013Standardized Application Environment Profile (AEP)\u2014POSIX Realtime Application Support [0- 7381-0178-8]"},{"key":"29_CR2","unstructured":"1003.1TM Standard for Information Technology\u2014Portable Operating System Interface (POSIX ). IEEE Std. 1003.1-2001, Open Group Technical Standard Base Specifications, Issue 6"},{"issue":"2","key":"29_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013236 (1994)","journal-title":"Theoretical Computer Science"},{"key":"29_CR4","unstructured":"Auguston, M.: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. In: Proc. of the 2nd Intl. Workshop on Automated and Algorithmic Debugging, Saint-Malo, France (May 1995)"},{"key":"29_CR5","unstructured":"Bartussek, A.W., Parnas, D.L.: Using traces to write abstract specifications for software modules. UNC Rep. TR 77-012, Univ. North Carolina, Chapel Hill (1977)"},{"issue":"1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"P. Bates","year":"1995","unstructured":"Bates, P.: Debugging heterogeneous distributed systems using event-based models of behavior. ACM TransactIons on Computer Systems\u00a013(1), 1\u201331 (1995)","journal-title":"ACM TransactIons on Computer Systems"},{"issue":"3","key":"29_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the ACM"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Klein, M.H., Ralya, T.: An analysis of input\/output paradigms for real-time systems. Technical Report, Software Engineering Institute. CMU\/SEI- 90-TR-19 (1990)","DOI":"10.21236\/ADA226724"},{"issue":"3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1145\/828.829","volume":"31","author":"J. McLean","year":"1984","unstructured":"McLean, J.: A formal method for the abstract specification of software. Journal of the ACM\u00a031(3), 600\u2013627 (1984)","journal-title":"Journal of the ACM"},{"issue":"6","key":"29_CR10","doi-asserted-by":"publisher","first-page":"1282","DOI":"10.1109\/21.199456","volume":"22","author":"D.B. Stewart","year":"1992","unstructured":"Stewart, D.B., Schmitz, D.E., Khosla, P.K.: The Chimera II real-time operating system for advanced sensor-based control applications. IEEE Transactions on Systems, Man, and Cybernetics\u00a022(6), 1282\u20131295 (1992)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Terrasa, A., Pach\u00e9s, I., Gacr\u00eda-Fornes, A.: An Evaluation of the POSIX Trace standard implemented in RT-Linux. In: Proc. of the 2001 IEEE Intl. Symposium on Performance Analysis of Systems and Software, Tucson (AZ), pp. 30\u201337 (2001)","DOI":"10.1109\/ISPASS.2001.990672"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Wang, Y., Parnas, D.L.: Simulating the behaviour of software modules by trace rewriting. In: Proc. of the 15th Intl. Conference on Software Engineering, Baltimore (MA), May 1993, pp. 14\u201323 (1993)","DOI":"10.1109\/ICSE.1993.346059"},{"key":"29_CR13","unstructured":"Yodaiken, V.: An RT-Linux Manifesto. In: Proc. of the 5th Linux Expo, Raleigh, North Carolina (May 1999)"}],"container-title":["Lecture Notes in Computer Science","Real-Time and Embedded Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24686-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:25:25Z","timestamp":1559359525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24686-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219743","9783540246862"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24686-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}