{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:09:50Z","timestamp":1742396990229},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281725","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"3-11","source":"Crossref","is-referenced-by-count":2,"title":["Decomposition of fairness and performance aspects for high-assurance continuous process-control systems"],"prefix":"10.1109","author":[{"family":"Dongfeng Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hui Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.B.","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.-L.","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731597"},{"key":"ref11","article-title":"Checking Progress with Action Priority: Is It Fair","author":"giannakopoulou","year":"1999","journal-title":"7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESECIFSE'99)"},{"key":"ref12","article-title":"Stepwise Aspect-Oriented Refinement Development of High Reliable Process-Control Systems","author":"wang","year":"2003","journal-title":"Technical Report"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.263755"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/52.35586"},{"key":"ref15","first-page":"220","article-title":"Aspect-Oriented Programming","author":"kiczales","year":"1997","journal-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2365"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.179114"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018950608266"},{"key":"ref5","article-title":"Dependability of Relational Safety-Critical Programs","author":"bastani","year":"1999","journal-title":"Int Symp Software Reliability Engineering"},{"key":"ref8","article-title":"Temporal Logic Case Study","author":"wood","year":"1989","journal-title":"Technical Report CMU\/SEI-89-TR-24"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/12.192210"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989485"},{"key":"ref9","article-title":"Toward Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance","author":"wang","year":"2003","journal-title":"Technical Report"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281725.pdf?arnumber=1281725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:57:10Z","timestamp":1489442230000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281725\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281725","relation":{},"subject":[]}}