@inproceedings{FuhrmannvH09b, author = {Hauke Fuhrmann and Reinhard von Hanxleden}, title = {Enhancing Graphical Model-Based System Design---An Avionics Case Study}, booktitle = {Conjoint workshop of the {European Research Consortium for Informatics and Mathematics} ({ERCIM}) and {Dependable Embedded Components and Systems} ({DECOS}) at SAFECOMP '09}, year = {2009}, address = {Hamburg, Germany}, month = {September}, pdf = {ercim09.pdf}, }