Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux. Reactive embedded device driver synthesis using logical timed models. In 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014. pages 163-169, IEEE, 2014. [doi]
Abstract is missing.