Kilian Kempf, Frank Slomka. Direct handling of infeasible paths in the event dependency analysis. In 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014. pages 1-10, IEEE, 2014. [doi]
Abstract is missing.