{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T02:57:34Z","timestamp":1768013854391,"version":"3.49.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1109\/tse.2003.1223645","type":"journal-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:47:03Z","timestamp":1061999223000},"page":"705-720","source":"Crossref","is-referenced-by-count":23,"title":["On inspection and verification of software with timing requirements"],"prefix":"10.1109","volume":"29","author":[{"given":"J.","family":"Xu","sequence":"first","affiliation":[{"name":"Dept. of Comput. Sci., York Univ., North York, Ont., Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113764"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031988"},{"key":"ref5","volume-title":"Debugging Embedded Microprocessor Systems.","author":"Ball","year":"1998"},{"key":"ref6","volume-title":"Embedded Microprocessor Systems: Real World Design","author":"Ball","year":"2000"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/349194.349197"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.387477"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/s0304-3975(00)00090-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/358234.358258"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_39"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_10"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020947"},{"key":"ref19","first-page":"43","article-title":"Cooperating Sequential Processes","volume-title":"Programming Languages","author":"Dijkstra","year":"1968"},{"key":"ref20","first-page":"23","article-title":"Acceptance of Formal Methods: Lessons from Hardware Design","volume":"29","author":"Dill","year":"1996","journal-title":"Computer"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.896005"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0023727"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/42392.42397"},{"key":"ref25","volume-title":"The Art of Designing Embedded Systems.","author":"Ganssle","year":"2000"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055332"},{"key":"ref28","article-title":"Software Requirements for the A-7E Aircraft","author":"Heninger","year":"1978"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99629"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_15"},{"key":"ref31","volume-title":"Software Fundamentals: Collected Papers by David L. Parnas.","author":"Hoffman","year":"2001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313045"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"ref35","volume-title":"real-time Systems: Design Principles for Distributed Embedded Applications.","author":"Kopetz","year":"1997"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676059"},{"key":"ref39","article-title":"Fundamental Design Problems of Distributed Systems for the hard-real-time Environment","author":"Mok","year":"1983"},{"key":"ref40","first-page":"5","article-title":"The Design of real-time Programming Systems Based on Process Models","volume-title":"Proc. IEEE real-time Systems Symp.","author":"Mok"},{"key":"ref41","volume-title":"Temporal Logic of real-time Systems.","author":"Ostroff","year":"1990"},{"key":"ref42","article-title":"Inspection of safety-critical Software Using Program-Function Tables","volume-title":"Proc. IFIP World Congress 1994","volume":"3","author":"Parnas"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337364"},{"key":"ref44","article-title":"Specification and Verification of Concurrent Systems in CAESAR","volume-title":"Proc. Fifth ISP Conf.","author":"Queille"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"ref46","first-page":"62","article-title":"A Model of the F-18 Mission Computer Software for Preruntime Scheduling","volume-title":"Proc. 10th Int\u2019l Conf. Distributed Computing Systems","author":"Shepard"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/32.83903"},{"key":"ref48","article-title":"A Comparison of Two Preruntime Schedule-Dispatchers for RTAI","author":"Soukoreff","year":"2001"},{"key":"ref49","article-title":"Hard real-time Systems","volume-title":"IEEE Computer Society Tutorial","author":"Stankovic","year":"1988"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/2.386982"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/32.214831"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1207452"},{"key":"ref53","article-title":"Integrating Runtime Scheduling and Preruntime Scheduling of real-time Processes","volume-title":"Proc. 23rd IFAC\/IFIP Workshop real-time Programming","author":"Xu"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/32.48943"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/pccc.1992.200519"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/32.210308"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008198310125"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/27483\/01223645.pdf?arnumber=1223645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T05:09:46Z","timestamp":1742101786000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1223645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":57,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1223645","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}