{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:49:26Z","timestamp":1761486566269},"reference-count":13,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annual Reviews in Control"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1016\/s1367-5788(01)00015-3","type":"journal-article","created":{"date-parts":[[2003,1,30]],"date-time":"2003-01-30T08:11:25Z","timestamp":1043914285000},"page":"157-167","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Handling timing in a time-critical reasoning system \u2014 a case study"],"prefix":"10.1016","volume":"25","author":[{"given":"T.","family":"Naks","sequence":"first","affiliation":[]},{"given":"L.","family":"Motus","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S1367-5788(01)00015-3_BIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0952-1976(95)00059-3","article-title":"Advances in neuro-fuzzy algorithms for real-time modelling and control","volume":"9","author":"Harris","year":"1996","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB2","article-title":"An Approach to the Design of Expert Systems for Hard Real-time Applications","author":"Jones","year":"1995"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB3","first-page":"338","author":"Kopetz","year":"1997"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB4","first-page":"212","author":"Motus","year":"1994"},{"issue":"3","key":"10.1016\/S1367-5788(01)00015-3_BIB5","first-page":"161","article-title":"Formal timing analysis of OMT designs using LIMITS","volume":"13","author":"Motus","year":"1998","journal-title":"Computer Systems \u2014 Science and Engineering"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB6","first-page":"57","author":"Naks","year":"1996"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB7","first-page":"182","article-title":"Automatic Approach for Fault-Tree Generation, A Generic Approach for Fault Diagnosis Systems","author":"Netten","year":"1994","journal-title":"IFAC Workshop Safety, reliability and Applications of Emerging Intelligent Control Techniques, Hong Kong, 12\u201314 December"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB8","first-page":"1010","article-title":"Case-Based Reasoning Research and Development","author":"Netten","year":"1995"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB9","first-page":"178","article-title":"Knowledge based conceptual design. An application to fibre reinforced composite sandwich panels","author":"Netten","year":"1997"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB10","article-title":"Measuring real-time execution time on PC using a Hardware Monitoring System","author":"Olenyi","year":"1996"},{"key":"10.1016\/S1367-5788(01)00015-3_BIB11","article-title":"Some ideas for advancement of the Q-model based embedded software engineering environment CONRAD","author":"Tekko","year":"1992","journal-title":"Workshop on tools and environments for developing control systems"},{"issue":"6","key":"10.1016\/S1367-5788(01)00015-3_BIB12","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0952-1976(94)90066-3","article-title":"Probabilistic reasoning in an augmented fact-proposition space and its applications","volume":"7","author":"Zhu","year":"1994","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1367-5788(01)00015-3_BIB13","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0952-1976(96)00014-0","article-title":"Knowledge-based support of system analysis for the analysi of failure modes and effects","volume":"9","author":"Wirth","year":"1996","journal-title":"Engineering Applications of Artificial Intelligence"}],"container-title":["Annual Reviews in Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578801000153?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578801000153?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T16:28:43Z","timestamp":1556209723000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1367578801000153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":13,"alternative-id":["S1367578801000153"],"URL":"https:\/\/doi.org\/10.1016\/s1367-5788(01)00015-3","relation":{},"ISSN":["1367-5788"],"issn-type":[{"value":"1367-5788","type":"print"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}