Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discrete Event Dynamic Systems, 33(1):63-93, March 2023. [doi]
Abstract is missing.