BTS: A Tool for Formal Component-Based Development. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; Madiel S. Conserva Filho; Sarah Raquel Da Rocha Silva (IFM, 2017)