Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications | IEEE Conference Publication | IEEE Xplore