{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:51:53Z","timestamp":1725533513362},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sysose.2006.1652300","type":"proceedings-article","created":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T19:17:51Z","timestamp":1153509471000},"page":"210-215","source":"Crossref","is-referenced-by-count":2,"title":["Quality Assurance of the Timing Properties of Real-time, Reactive System-of-Systems"],"prefix":"10.1109","author":[{"given":"M.-T.","family":"Shing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Drusinsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.S.","family":"Cook","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"A Runtime Assertion Checker for the Java Modeling Language","year":"2003","author":"cheon","key":"3"},{"year":"2005","author":"caffall","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Developing Dependable Software For A System-Of-Systems","year":"2005","author":"caffall","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/IWRSP.2003.1207029","article-title":"Verification of Timing Properties in Rapid System Prototyping","author":"drusinsky","year":"2003","journal-title":"Proc 14th IEEE International Workshop in Rapid Systems Prototyping"},{"journal-title":"Modeling and Verification Using UML Statecharts - A Working Guide to Reactive System Design Runtime Monitoring and Execution-based Model Checking","year":"2006","author":"drusinsky","key":"6"},{"key":"5","article-title":"Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions","author":"drusinsky","year":"2004","journal-title":"Proc 4th Runtime Verification Workshop (RV'04)"},{"key":"4","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/10722468_19","article-title":"The Temporal Rover and ATG Rover","author":"drusinsky","year":"2000","journal-title":"Lecture Notes in Computer Science 1885"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270735"}],"event":{"name":"2006 IEEE\/SMC International Conference on System of Systems Engineering","location":"Los Angeles, California, USA"},"container-title":["2006 IEEE\/SMC International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10995\/34635\/01652300.pdf?arnumber=1652300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:17:29Z","timestamp":1555726649000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1652300\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/sysose.2006.1652300","relation":{},"subject":[]}}