@inproceedings{Bü2011,Author = {Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo},Title = {An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models},Year = {2011},Month = {09},Booktitle = {Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)},type = {inproceedings}}@COMMENT{Bibtex file generated on }