@TechReport{Stollenwerk13, isbn = {978-3-8440-2239-1}, author = {André Stollenwerk}, title = {Ein modellbasiertes Sicherheitskonzept f{\"u}r die extrakorporale Lungenunterst{\"u}tzung}, school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen}, type = {Dissertation}, year = {2013}, month = {September}, issn = {0935-3232}, url = {http://aib.informatik.rwth-aachen.de/2013/2013-07.pdf}, number = {AIB-2013-07}, institution = {RWTH Aachen}, keywords = {Medizintechnik, ECMO, ECLA, Lungenunterstützung, EKZ, Embedded Software, Sicherheit, Dissertation, ARDS, SmartECLA, Hardware, Blutpumpe, Informatik} }