@inproceedings{conf/safecomp/Becker08, title = {Applying Safety Goals to a New Intensive Care Workstation System.}, author = {Uwe Becker}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2008}, editor = {Michael D. Harrison and Mark-Alexander Sujan}, pages = {263-276}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2008.html#Becker08}, volume = {5219}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2efb6df466f71faa365a87ac2ed6de7f2/dblp}, description = {dblp}, date = {2008-10-02}, ee = {http://dx.doi.org/10.1007/978-3-540-87698-4_23}, isbn = {978-3-540-87697-7}, keywords = {dblp } }