{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:29:18Z","timestamp":1730291358780,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319102","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"186-193","source":"Crossref","is-referenced-by-count":3,"title":["Using supervisory control to synthesize safety controllers for connected spaces"],"prefix":"10.1109","author":[{"given":"B.","family":"Sridharan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.P.","family":"Mathur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Kai-Yuan Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"88","article-title":"LEDA: A Library of Efficient Data Types and Algorithms","volume":"379","author":"mehlhorn","year":"1989","journal-title":"Proc 14th Symp Math Found of Comp Sci"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/37.56283"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Thoracic Impedance Measurements Can Interfere with Impedance-based Rate-Responsive Pacemakers","article-title":"Medical Device Safety Report","year":"0","key":"ref13"},{"journal-title":"Enforcing Safety in Pervasive Computing Environments","year":"2003","author":"sridharan","key":"ref14"},{"key":"ref15","first-page":"452","article-title":"Synthesizing Distributed Safety Controllers for ConnectedSpaces","author":"sridharan","year":"2003","journal-title":"Proceedings of the First IEEE International Conference on Pervasive Computing and Communications"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2002.1024419"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.993139"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.993148"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"journal-title":"Real-Time UML","year":"1998","author":"douglass","key":"ref4"},{"journal-title":"Death Link to Hospital Scan","year":"2000","author":"calvert","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1012338"},{"journal-title":"Pacemaker Safety Swiss Federal Institute of Technology","article-title":"Institute for Biomedical Engineering","year":"0","key":"ref5"},{"key":"ref8","first-page":"496","article-title":"A Java-based Home Network Middleware Architecture Supporting IEEE 1394","author":"ku","year":"2002","journal-title":"TCP\/IP IEEE Transactions on Consumer Electronics"},{"journal-title":"Portable Electronic Devices Do They Really Pose a Safety Hazard On Aircraft?","article-title":"Aviation Subcommittee Hearing","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00180-8"},{"journal-title":"Aviation Safety Reporting System","article-title":"National Aeronautics and Space Administration","year":"0","key":"ref1"},{"journal-title":"Safeware System Safety and Computers","year":"1995","author":"leveson","key":"ref9"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319102.pdf?arnumber=1319102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T18:39:51Z","timestamp":1489516791000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319102\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319102","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}