The B2Scala Tool: Integrating Bach in Scala with Security in Mind. - Doha Ouardi; Manel Barkallah; Jean-Marie Jacquet (ICE, 2024)