The B2Scala Tool: Integrating Bach in Scala with Security in Mind