Device driver synthesis for embedded systems. - Julien Tanguy; Jean-Luc Béchennec; Mikaël Briday; Sebastien Dube; Olivier H. Roux (ETFA, 2013)

Reactive embedded device driver synthesis using logical timed models. - Julien Tanguy; Jean-Luc Béchennec; Mikaël Briday; Olivier H. Roux (SIMULTECH, 2014)