In this short paper I will address the question whether the methods and techniques we develop are applied well in industrial practice. To address this question, I will make a few observations from the academic field, as well as from industrial practice. This will be followed by a concise analysis of the cause of the perceived gap between the academic state-of-the-art and industrial practice. I will conclude with some opportunities for improvement.
Haverkort, B. R. H. M., Fahrenberg, U. (Ed.), & Tripakis, S. (Ed.) (2011, Sep). Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-642-24310-3_2