Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. - Bastien Maubert; Aniello Murano; Pasquale Perillo; Sasha Rubin; Alessio Spasiano (ICTCS, 2019)