Starting B Specifications from Use Cases. - Thiago C. de Sousa; Aryldo G. Russo (ASM, 2010)

Automatic analysis of requirements consistency with the B method. - Thiago C. de Sousa; Jorge R. Almeida Jr.; Sidney Viana; Judith Pavón (ACM SIGSOFT Softw. Eng. Notes, 2010)

A proposal for extending UML-B to support a conceptual model. - Thiago C. de Sousa; Colin F. Snook; Paulo Sérgio Muniz Silva (Innov. Syst. Softw. Eng., 2011)

A Practical Event-B Refinement Method Based on a UML-Driven Development Process. - Thiago C. de Sousa; Paulo Sérgio Muniz Silva; Colin F. Snook (ABZ, 2012)

Reflections on Cyberethics Education for Millennial Software Engineers. - Claudia de O. Melo; Thiago C. de Sousa (SECM@ICSE, 2017)

Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. - Fábio Levy Siqueira; Thiago C. de Sousa; Paulo Sérgio Muniz Silva (FormaliSE@ICSE, 2017)

A Formal Semantics for Use Case Diagram Via Event-B. - Thiago C. de Sousa; Luciano Kelvin; Constantino D. Neto; Carlos Giovanni Nunes de Carvalho (J. Softw., 2017)