Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard. Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 231-236, IEEE, 2018. [doi]
Abstract is missing.