@conference{10540790, Author = {Bruns, Friederike and Mehlhop, Sven and Wiesmayr, Bianca and Zoitl, Alois}, Title = {Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems}, Year = {2024}, Pages = {1-6}, Booktitle = {IEEE International Conference on Industrial Technology (ICIT)}, Doi = {10.1109/ICIT58233.2024.10540790}, Url = {https://www.researchgate.net/publication/379996830_Enabling_Automated_Timing_Verification_A_Unified_Approach_for_Industrial_Distributed_Control_Systems?_sg%5B0%5D=AHmAwHXCAmC1MXdkINny20l9hwD4wK3m3mMsY35Jo3rsfM4A7k7yaYMesncHWvlaLOUp8R6zkFv5toSxVeXDzzhGHwpFuDPplQQGdqPW.KOAH5U6Z82p1FvpOG6Bcs-yUiz4odRxAKEQyTVL5yLqErvVt_JiiunGHXeqengGnzjgTQIuBqT7UGJsodFmhXQ\&_tp=eyJjb250ZXh0Ijp7ImZpcnN0UGFnZSI6InByb2ZpbGUiLCJwYWdlIjoicHJvZmlsZSIsInByZXZpb3VzUGFnZSI6InByb2ZpbGUiLCJwb3NpdGlvbiI6InBhZ2VDb250ZW50In19}, type = {conference} } @COMMENT{Bibtex file generated on }