@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 }