{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:19:33Z","timestamp":1729628373359,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/cscwd.2015.7230973","type":"proceedings-article","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T21:52:51Z","timestamp":1441317171000},"page":"286-291","source":"Crossref","is-referenced-by-count":1,"title":["Verification of a real time scheduling protocol of safety-critical systems"],"prefix":"10.1109","author":[{"given":"Meng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"71","article-title":"Formal analysis of safety-critical system simulations","author":"ayesha","year":"2012","journal-title":"International Conference on Application and Theory of Automation in Command and Control Systems ATACCS '12 London United Kingdom May 29–31 2012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689498"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/216633.216661"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-133-2_12"},{"key":"ref3","article-title":"Simulation-based automated verification of safety-critical chassis-control systems","author":"g\u00e4fvert","year":"2008","journal-title":"Proceedings of International Symposium on Advanced Vehicle Control"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"journal-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","year":"1982","author":"edmund","key":"ref5"},{"key":"ref8","first-page":"167","article-title":"A unified model checking approach with projection temporal logic","author":"zhenhua","year":"2008","journal-title":"Formal Methods and Software Engineering"},{"journal-title":"Characterizing correctness properties of parallel programs using fixpoints","year":"1980","author":"allen emerson","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/78973.78974","article-title":"Evaluation of safety-critical software","volume":"33","author":"david","year":"1990","journal-title":"Communications of the ACM"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/ICSE.2002.1007998","article-title":"Safety Critical Systems: Challenges and Directions","author":"john c knight","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"journal-title":"Temporal Logic and Temporal Logic Programming","year":"2005","author":"zhenhua","key":"ref9"}],"event":{"name":"2015 IEEE 19th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","start":{"date-parts":[[2015,5,6]]},"location":"Calabria, Italy","end":{"date-parts":[[2015,5,8]]}},"container-title":["2015 IEEE 19th International Conference on Computer Supported Cooperative Work in Design (CSCWD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7194213\/7230917\/07230973.pdf?arnumber=7230973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:51:53Z","timestamp":1602687113000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7230973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2015.7230973","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}