Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg. Evaluation of a state-based real-time scheduling analysis technique. In 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014. pages 158-163, IEEE, 2014. [doi]